Bisimulation for Labelled Markov Processes (1997)

by Jos Ee Desharnais , Josee Desharnais , Richard Blute , Richard Blute , Abbas Edalat , Abbas Edalat , Prakash Panagaden , Prakash Panangaden
Venue:Information and Computation
Citations:120 - 17 self

Active Bibliography

9 Approximating Continuous Markov Processes – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2000
29 A Logical Characterization of Bisimulation for Labeled Markov Processes – Jos'ee Desharnais, Abbas Edalat, Prakash Panangaden - 1998
SOS 2006 Preliminary Version Notes on Generative Probabilistic Bisimulation Abstract – Simone Tini
Prioritized and Probablistic Models of Timed CSP – Gavin Lowe, Gavin Lowe - 1991
Testing Preorders for Probabilistic Processes can be Characterized by Simulations – Bengt Jonsson Wang, Wang Yi - 2000
2 Taking Chances on || and fail: Extending Strong and Probabilistic Bisimulation – J. I. Den Hartog, E. P. De Vink - 1999
1 A Fully Parallel Calculus of Synchronizing Processes – Diego Latella, Paola Quaglia - 1993
2 An Axiomatization of Probabilistic Testing – Manuel Núñez - 1999
1 A Survey of Markovian Behavioral Equivalences – Marco Bernardo
3 Partial Order Models for Quantitative Extensions of LOTOS – Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella - 1997
1 Trace Semantics Is Fully Abstract – Sumit Nain, Moshe Y. Vardi - 2009
1 A Local Algorithm for Checking Probabilistic Bisimilarity – Yuxin Deng, Wenjie Du
6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997
18 Probabilistic metric semantics for a simple language with recursion – Marta Kwiatkowska, Gethin Norman - 1996
19 Acceptance Trees for Probabilistic Processes – Manuel Nunez, David de Frutos, Luis Llana - 1995
1 Probabilistic Environments in the Quantitative Analysis of (Non-Probabilistic) Behaviour Models – Esteban Pavese, Víctor Braberman, Sebastian Uchitel
5 Trace Machines for Observing Continuous-Time Markov Chains – Verena Wolf, Mila Majster-cederbaum, Christel Baier - 2005
14 Modeling Systems by Probabilistic Process Algebra: An Event Structures Approach – Joost-pieter Katoen, Rom Langerak, Diego Latella - 1993
22 Probabilistic Automata: System Types, Parallel Composition and Comparison – A. Sokolova, E. P. De Vink - 2004