Works matching IS 09601295 AND DT 2005 AND VI 15 AND IP 3

Results: 7
    1
    2

    A note on coalgebras and presheaves.

    Published in:
    Mathematical Structures in Computer Science, 2005, v. 15, n. 3, p. 475, doi. 10.1017/s0960129505004767
    By:
    • JAMES WORRELL
    Publication type:
    Article
    3

    A general final coalgebra theorem.

    Published in:
    Mathematical Structures in Computer Science, 2005, v. 15, n. 3, p. 409
    By:
    • JIR ADMEK;
    • STEFAN MILIUS;
    • JIR VELEBIL
    Publication type:
    Article
    4
    5

    Coalgebraic modal logic of finite rank.

    Published in:
    Mathematical Structures in Computer Science, 2005, v. 15, n. 3, p. 453, doi. 10.1017/s0960129505004755
    By:
    • ALEXANDER KURZ;
    • DIRK PATTINSON
    Publication type:
    Article
    6

    Profunctors, open maps and bisimulation.

    Published in:
    Mathematical Structures in Computer Science, 2005, v. 15, n. 3, p. 553, doi. 10.1017/s0960129505004718
    By:
    • GIAN LUCA CATTANI;
    • GLYNN WINSKEL
    Publication type:
    Article
    7

    On bisimulations for the spi calculus.

    Published in:
    Mathematical Structures in Computer Science, 2005, v. 15, n. 3, p. 487, doi. 10.1017/s0960129505004706
    By:
    • JOHANNES BORGSTRM;
    • UWE NESTMANN
    Publication type:
    Article