|
15
|
Trace Semantics for Coalgebras
– Bart Jacobs
- 2003
|
|
13
|
Reconciling nondeterministic and probabilistic choices
– Ling Cheung
- 2006
|
|
190
|
Modeling and Verification of Randomized Distributed Real-Time Systems
– R Segala
- 1995
|
|
33
|
The category theoretic solution of recursive domain equations
– M Smyth, G Plotkin
- 1982
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
10
|
A Coalgebraic Foundation for Linear Time Semantics
– John Power, Daniele Turi
- 1999
|
|
19
|
Introduction to Coalgebra. Towards Mathematics of States and Observations
– Bart Jacobs
- 2005
|
|
63
|
Semantics of weakening and contraction
– B Jacobs
- 1994
|
|
6
|
Generic trace theory
– Ichiro Hasuo, Bart Jacobs, Ana Sokolova
- 2006
|
|
9
|
The microcosm principle and concurrency in coalgebras
– Ichiro Hasuo, Bart Jacobs, Ana Sokolova
- 2008
|
|
10
|
Generic forward and backward simulations
– Ichiro Hasuo, Ichiro Hasuo
- 2006
|
|
4
|
Coalgebraic trace semantics for probabilistic systems
– Ichiro Hasuo, Bart Jacobs
- 2005
|
|
15
|
Monadic Maps and Folds for Arbitrary Datatypes
– Maarten Fokkinga
- 1994
|
|
57
|
A Semantics for Shape
– C. Barry Jay
- 1995
|
|
13
|
Least fixed point of a functor
– J Adámek, V Koubek
- 1979
|
|
10
|
Fusion of Recursive Programs with Computational Effects
– Alberto Pardo
- 2000
|
|
28
|
Monads on symmetric monoidal closed categories
– A Kock
- 1970
|
|
18
|
Handbook of Categorical Algebra, volume 50, 51 and 52 of Encyclopedia of Mathematics. Cambridge Univ
– F Borceux
- 1994
|
|
8
|
Coalgebraic analysis of probabilistic systems
– A Sokolova
|
