From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems (1999)

Cached

Download Links

by Marina Lenisa
Venue:In Jacobs and Rutten [JR99
Citations:15 - 0 self

Active Bibliography

Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
5 Themes in Final Semantics – Marina Lenisa - 1998
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
2 Relating coalgebraic notions of bisimulation with applications to name-passing process calculi (extended abstract) – Sam Staton
19 An abstract coalgebraic approach to process equivalence for well-behaved operational semantics – Bartosz Klin - 2004
1 A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects – Marina Lenisa - 1983
13 On the Foundations of Corecursion – Lawrence S. Moss, NORMAN DANNER - 1997
3 Coinductive Characterizations of Applicative Structures – Furio Honsell, Marina Lenisa - 1998
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
3 On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks – E. P. De Vink - 1998
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999