|
122
|
Towards a Mathematical Operational Semantics
– Daniele Turi, Gordon Plotkin
- 1997
|
|
10
|
A Coalgebraic Foundation for Linear Time Semantics
– John Power, Daniele Turi
- 1999
|
|
29
|
On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces
– Daniele Turi, Jan Rutten
- 1998
|
|
52
|
Initial Algebra and Final Coalgebra Semantics for Concurrency
– Jan Rutten, Daniele Turi
- 1994
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
47
|
On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders
– Jan J. M. M. Rutten , Daniele Turi
- 1998
|
|
8
|
Syntactic formats for free: An abstract approach to process equivalence
– Bartek Klin
- 2003
|
|
11
|
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems
– Marina Lenisa
- 1999
|
|
5
|
Distributivity for a Monad and a Comonad
– John Power, Hiroshi Watanabe
|
|
7
|
Topological Models for Higher Order Control Flow
– J. W. de Bakker, F. van Breugel
- 1993
|
|
|
Towards Effects in Mathematical Operational Semantics
– Faris Abou-saleh, Dirk Pattinson
|
|
5
|
SOS formats and meta-theory: 20 years after
– Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2007
|
|
1
|
Structural congruences and structural operational semantics
– Mohammadreza Mousavi, Michel Reniers
- 2004
|
|
31
|
Mongruences and Cofree Coalgebras
– Bart Jacobs
- 1995
|
|
12
|
Parametric Corecursion
– Lawrence S. Moss
|
|
19
|
Introduction to Coalgebra. Towards Mathematics of States and Observations
– Bart Jacobs
- 2005
|
|
85
|
Coalgebraic Logic
– Lawrence S. Moss
- 1999
|
|
7
|
A Structural Co-Induction Theorem
– J. J. M. M. Rutten
- 1993
|
