|
|
From Set-theoretic Coinduction to Coinduction: some results, some problems
– Marina Lenisa
- 1999
|
|
|
Coalgebraic Coinduction in (Hyper)set-theoretic Categories
– Furio Honsell, Marina Lenisa, Honsell Lenisa
- 2000
|
|
5
|
Themes in Final Semantics
– Marina Lenisa
- 1998
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
29
|
On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces
– Daniele Turi, Jan Rutten
- 1998
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
8
|
Syntactic formats for free: An abstract approach to process equivalence
– Bartek Klin
- 2003
|
|
69
|
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach
– E.P. de Vink, J.J.M.M. Rutten
- 1998
|
|
17
|
An abstract coalgebraic approach to process equivalence for well-behaved operational semantics
– Bartosz Klin
- 2004
|
|
2
|
A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects
– Marina Lenisa
- 1983
|
|
214
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
12
|
On the Foundations of Corecursion
– Lawrence S. Moss, NORMAN DANNER
- 1997
|
|
4
|
Coinductive Characterizations of Applicative Structures
– Furio Honsell, Marina Lenisa
- 1998
|
|
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
|
|
10
|
A Coalgebraic Foundation for Linear Time Semantics
– John Power, Daniele Turi
- 1999
|
|
4
|
Semantics for Finite Delay
– Chrysafis Hartonas
- 1997
|
|
24
|
Hidden Coinduction: Behavioral Correctness Proofs for Objects
– Joseph A. Goguen, Grant Malcolm
- 1999
|
