Author:
Rothe Jan,Mašulović Dragan
Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. C. Ciîrstea. Institutionalising many-sorted coalgebraic modal logic. In L. Moss, editor, Proceedings of CMCS 2002, number 65.1 in ENTCS, 2002.
2. A 2-categorical approach to change of base and geometric morphisms I;Carboni;Cahiers de Topologie et Géométrie Différentielle Catégoriques,1991
3. Coalgebras of bounded type;Gumm;Mathematical Structures in Computer Science,2002
4. M. Hennessy and R. Milner. On observing nondeterminism and concurrency. In J. W. de Bakker and J. van Leeuwen, editors, Proceedings 7th ICALP, Noordwijkerhout, volume 85 of Lecture Notes in Computer Science, pages 299–309. Springer-Verlag, 1980.
5. Algebraic laws for nondeterminism and concurrency;Hennessy;Journal of the ACM,1985