A Calculus of Transition Systems (towards Universal Coalgebra) (1995)

Cached

Download Links

by J. J. M. M. Rutten , Issn -x
Venue:In Alban Ponse, Maarten de Rijke, and Yde Venema, editors, Modal Logic and Process Algebra, CSLI Lecture Notes No
Citations:25 - 1 self

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
33 Coalgebras and Modal Logic – Martin Rößiger - 2000
493 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
53 Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study – B. P. F. Jacobs, Bart Jacobs - 2001
129 Terminal coalgebras in well-founded set theory, Theoret – Michael Barr - 1993
162 A nal coalgebra theorem – P Aczel, N Mendler - 1989
26 Inheritance and Cofree Constructions – B. P. F. Jacobs, Issn -x, Bart Jacobs - 1995
54 Logics for Coalgebras and Applications to Computer Science – A Kurz - 2000
30 Mongruences and Cofree Coalgebras – Bart Jacobs - 1995
189 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
63 Varieties of complex algebras – R Goldblatt - 1989
175 On the structure of abstract algebras – G Birkhoff - 1935
201 Non-Well-Founded Sets – P Aczel - 1988
17 A Complete Calculus for Equational Deduction in Coalgebraic Specification – Andrea Corradini, Andrea Corradini - 1997
67 A Categorical Programming Language – Tatsuya Hagino, Tatsuya Hagino - 1987