|
371
|
Bisimulation through probabilistic testing
– Kim G. Larsen, Arne Skou
- 1989
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
190
|
Modeling and Verification of Randomized Distributed Real-Time Systems
– R Segala
- 1995
|
|
233
|
Probabilistic Simulations for Probabilistic Processes
– Roberto Segala, Nancy Lynch
- 1994
|
|
144
|
Reactive, Generative and Stratified Models of Probabilistic Processes
– Rob J. Van Glabbeek, Scott A. Smolka, Bernhard Steffen
- 1990
|
|
69
|
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach
– E.P. de Vink, J.J.M.M. Rutten
- 1998
|
|
141
|
Time and probability in formal design of distributed systems
– H Hansson
- 1991
|
|
32
|
Coalgebras and Modal Logic
– Martin Rößiger
- 2000
|
|
32
|
Weak bisimulation for probabilistic systems
– Anna Philippou, Insup Lee, Oleg Sokolsky
- 2000
|
|
85
|
Coalgebraic Logic
– Lawrence S. Moss
- 1999
|
|
214
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
26
|
Probability Logic for Type Spaces
– A Heifetz, P Mongin
|
|
51
|
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
– B. P. F. Jacobs, Bart Jacobs
- 2001
|
|
2970
|
Communication and Concurrency
– R Milner
- 1989
|
|
133
|
Probabilistic automata
– M Rabin
- 1963
|
|
66
|
Axiomatizing probabilistic processes: ACP with generative probabilities
– J C M Baeten, J A Bergstra, S A Smolka
- 1995
|
|
39
|
Axiomatizations for probabilistic bisimulation
– E Bandini, R Segala
- 2001
|
|
136
|
Modal Logic
– Brian F Chellas
- 1980
|
|
20
|
Finality Regained - A Coalgebraic Study of Scott-sets and Multisets
– Giovanna D'Agostino, Albert Visser
- 1999
|
