Universal coalgebra: a theory of systems (2000)

by J. J. M. M. Rutten
Citations:298 - 31 self

Documents Related by Co-Citation

228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
61 Specifying Coalgebras with Modal Logic – A Kurz - 1998
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
89 Coalgebraic Logic – Lawrence S. Moss - 1999
92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
33 The Temporal Logic of Coalgebras via Galois Algebras – Bart Jacobs - 1999
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
133 Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 – M Barr - 1993
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
1330 A Calculus of Communicating Systems – R Milner - 1980
30 Mongruences and Cofree Coalgebras – Bart Jacobs - 1995
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
4 From Modal Logic to Terminal Coalgebras – M Roiger
34 Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools – Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews - 1998
12 Structural induction and coinduction in a setting – C Hermida, B Jacobs - 1998
658 Concurrency and automata on infinite sequences – D Park - 1981
21 Towards a Duality Result in the Modal Logic of Coalgebras – Bart Jacobs - 2000
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994