|
69
|
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach
– E.P. de Vink, J.J.M.M. Rutten
- 1998
|
|
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
|
|
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
|
|
1
|
Strategic Directions in Computing Research Concurrency Working Group Report
– Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka
- 1996
|
|
122
|
Towards a Mathematical Operational Semantics
– Daniele Turi, Gordon Plotkin
- 1997
|
|
|
Coalgebraic Specifications in Object-Oriented Programming
– Elena Tsanko
- 2004
|
|
3
|
On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks
– E. P. De Vink
- 1998
|
|
7
|
A Structural Co-Induction Theorem
– J. J. M. M. Rutten
- 1993
|
|
37
|
A Coinduction Principle for Recursive Data Types Based on Bisimulation
– Marcelo P. Fiore
- 1996
|
|
10
|
A Coalgebraic Foundation for Linear Time Semantics
– John Power, Daniele Turi
- 1999
|
|
8
|
Syntactic formats for free: An abstract approach to process equivalence
– Bartek Klin
- 2003
|
|
1
|
Transition Systems From Event Structures Revisited
– Mila Majster-cederbaum, Markus Roggenbach
|
|
1
|
De Bakker-Zucker Processes Revisited
– Franck Van Breugel, Franck Van Breugel
- 1999
|
|
1
|
A Companion to Coalgebraic Weak Bisimulation for Action-Type Systems ∗
– Ana Sokolova, Erik Vink, Harald Woracek
|
|
5
|
SOS formats and meta-theory: 20 years after
– Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2007
|
|
5
|
Categorical Models for Concurrency: Independence, Fairness and Dataflow
– Thomas Troels Hildebrandt
- 2000
|
|
94
|
Priorities in process algebra
– Rance Cleaveland, Gerald Lüttgen, V. Natarajan
- 1999
|
