|
10
|
A Coalgebraic Foundation for Linear Time Semantics
– John Power, Daniele Turi
- 1999
|
|
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
|
|
7
|
Categorical Modelling of Structural Operational Rules - Case Studies
– Daniele Turi
- 1997
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
8
|
Syntactic formats for free: An abstract approach to process equivalence
– Bartek Klin
- 2003
|
|
52
|
Initial Algebra and Final Coalgebra Semantics for Concurrency
– Jan Rutten, Daniele Turi
- 1994
|
|
5
|
SOS formats and meta-theory: 20 years after
– Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2007
|
|
47
|
On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders
– Jan J. M. M. Rutten , Daniele Turi
- 1998
|
|
10
|
A conservative look at term deduction systems with variable binding. Logic group preprint series 140
– Wan Fokkink, Chris Verhoef
- 1995
|
|
|
Coalgebraic Coinduction in (Hyper)set-theoretic Categories
– Furio Honsell, Marina Lenisa, Honsell Lenisa
- 2000
|
|
11
|
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems
– Marina Lenisa
- 1999
|
|
16
|
Final Semantics for a Higher Order Concurrent Language
– Marina Lenisa
- 1995
|
|
19
|
Bisimilarity of Open Terms
– Arend Rensink
- 2000
|
|
24
|
Hidden Coinduction: Behavioral Correctness Proofs for Objects
– Joseph A. Goguen, Grant Malcolm
- 1999
|
|
23
|
Combining effects: sum and tensor
– Martin Hyland, Gordon Plotkin, John Power
|
|
5
|
Distributivity for a Monad and a Comonad
– John Power, Hiroshi Watanabe
|
|
69
|
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach
– E.P. de Vink, J.J.M.M. Rutten
- 1998
|
|
|
GDP Festschrift ENTCS, to appear Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
– David Pym, Chris Tofts
|
