|
|
Pipes and Filters: Modelling a Software Architecture Through Relations
– Ernst-Erich Doberkat
- 2002
|
|
|
Testing for Simulation and Bisimulation in Labelled Markov Processes
– Franck van Breugel, Michael Mislove, Joël Ouaknine, James Worrell
- 2003
|
|
33
|
A Hierarchy of Probabilistic System Types
– Falk Bartels, Ana Sokolova, Erik de Vink
- 2003
|
|
4
|
Possibilistic and Probabilistic Abstraction-Based Model Checking
– Michael Huth
- 2002
|
|
7
|
Duality for labelled Markov processes
– Michael Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell
- 2004
|
|
11
|
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity
– Franck Van Breugel, Michael Mislove, Joël Ouaknine, James Worrell
- 2003
|
|
69
|
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach
– E.P. de Vink, J.J.M.M. Rutten
- 1998
|
|
|
Exemplaric Expressivity of Modal Logics ⋆
– Bart Jacobs, Ana Sokolova
- 2008
|
|
1
|
Weak Bisimulation for Action-Type Coalgebras
– Ana Sokolova, Erik de Vink, Harald Woracek
|
|
19
|
Modular construction of modal logics
– Corina Cîrstea, Dirk Pattinson
- 2004
|
|
39
|
Metrics for Labelled Markov Systems
– Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden
- 2001
|
|
3
|
On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks
– E. P. De Vink
- 1998
|
|
5
|
Structural Operational Semantics for Stochastic Process Calculi
– Bartek Klin, Vladimiro Sassone
|
|
5
|
Probabilistic Relations
– Prakash Panangaden
- 1998
|
|
|
Table of Contents General Information 1 Editor’s Letter — Ross
– unknown authors
|
|
1
|
A Companion to Coalgebraic Weak Bisimulation for Action-Type Systems ∗
– Ana Sokolova, Erik Vink, Harald Woracek
|
|
8
|
Stochastic transition systems for continuous state spaces and non-determinism
– Stefano Cattani, Roberto Segala, Marta Kwiatkowska, Gethin Norman
- 2005
|
|
4
|
Semi-pullbacks and Bisimulation in Categories of Markov Processes
– Abbas Edalat
- 1999
|
|
10
|
GSOS for Probabilistic Transition Systems
– Falk Bartels
- 2002
|
