On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces (1998)

Cached

Download Links

by Daniele Turi , Jan Rutten
Citations:30 - 4 self

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
133 Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 – M Barr - 1993
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
89 Coalgebraic Logic – Lawrence S. Moss - 1999
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
263 Relations in Concurrency – Glynn Winskel
54 Logics for Coalgebras and Applications to Computer Science – A Kurz - 2000
53 Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study – B. P. F. Jacobs, Bart Jacobs - 2001
53 Functorial Operational Semantics and its Denotational Dual – D Turi - 1996
658 Concurrency and automata on infinite sequences – D Park - 1981
33 The Temporal Logic of Coalgebras via Galois Algebras – Bart Jacobs - 1999
7 Coalgebras and Modal Logic – M Rossiger - 2000
8 From Modal Logic to Terminal Coalgebras – M Rossiger - 2001
61 Specifying Coalgebras with Modal Logic – A Kurz - 1998