Testing for Simulation and Bisimulation in Labelled Markov Processes (2003)

Cached

Download Links

by Franck van Breugel , Michael Mislove , Joël Ouaknine , James Worrell

Active Bibliography

13 An Intrinsic Characterization of Approximate Probabilistic Bisimilarity – Franck Van Breugel, Michael Mislove, Joël Ouaknine, James Worrell - 2003
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
48 Metrics for Labelled Markov Systems – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2001
Approximating Markov Processes By Averaging – Philippe Chaput, Gordon Plotkin
9 A Logic for Probabilities in Semantics – M. Andrew Moshier, Achim Jung - 2003
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
3 On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks – E. P. De Vink - 1998
9 Approximating Continuous Markov Processes – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2000
3 The Demonic Product of Probabilistic Relations – Ernst-erich Doberkat - 2001
1 An algorithm to quantify behavioural similarity between probabilistic systems – Babita Sharma - 2006
37 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
6 Approximate simulations for task-structured probabilistic I/O automata – Sayan Mitra, Nancy Lynch - 2006
14 Weak Bisimulation is Sound and Complete for PCTL – Josee Desharnais, Vineet Gupta, Prakash Panangaden, Radha Jagadeesan - 2002
5 Semi-pullbacks and Bisimulation in Categories of Markov Processes – Abbas Edalat - 1999
25 Nondeterminism and Probabilistic Choice: Obeying the Laws – Michael Mislove - 2000
2 Taking Chances on || and fail: Extending Strong and Probabilistic Bisimulation – J. I. Den Hartog, E. P. De Vink - 1999
Stochastic Pi-Calculus Revisited – Luca Cardelli, Radu Mardare
5 The Measurable Space of Stochastic Processes – Luca Cardelli, Radu Mardare - 2006
10 Duality for Labelled Markov Processes – Michael Mislove , Joël Ouaknine, Dusko Pavlovic, James Worrell