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

Active Bibliography

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
1 5 MODEL THEORY OF MODAL LOGIC – Valentin Goranko, Martin Otto
21 MODEL THEORY OF MODAL LOGIC – Valentin Goranko, Martin Otto
28 Mathematical Modal Logic: a View of its Evolution – Robert Goldblatt - 2001
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
3 Duality for Some Categories of Coalgebras – Robert Goldblatt - 2001
2 Algebraic Polymodal Logic: A Survey – Robert Goldblatt - 2000
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
30 Mongruences and Cofree Coalgebras – Bart Jacobs - 1995
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
13 Modal Logic: A Semantic Perspective – Patrick Blackburn, Johan van Benthem - 1988
1 Representable Cylindric Algebras and Many-Dimensional Modal Logics – Agi Kurucz - 2010
11 Monotonic Modal Logics – Helle Hvid Hansen - 2003
Lurdes Sousa 3 – Jiří Adámek, Stefan Milius, Lawrence S. Moss
1 A Theory of Metric Labelled Transition Systems – Franck Van Breugel - 1995
33 The Temporal Logic of Coalgebras via Galois Algebras – Bart Jacobs - 1999