Bisimulation for Labelled Markov Processes (1997)

by Richard Blute , Josée Desharnais , Abbas Edalat , Prakash Panangaden
Venue:INFORMATION AND COMPUTATION
Citations:134 - 22 self

Active Bibliography

34 A Logical Characterization of Bisimulation for Labeled Markov Processes – Jos'ee Desharnais, Abbas Edalat, Prakash Panangaden - 1998
9 Approximating Continuous Markov Processes – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2000
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
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
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
2 Fair Testing Through Probabilistic Testing – Manuel Nunez, David Ruperez - 1999
2 Characterising probabilistic processes logically – Yuxin Deng, Rob Van Glabbeek - 2009
6 A testing scenario for probabilistic processes – Ling Cheung - 2006