Bisimulation for Labelled Markov Processes (1997)

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

Documents Related by Co-Citation

405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
153 Reactive, Generative and Stratified Models of Probabilistic Processes – Rob J. Van Glabbeek, Scott A. Smolka, Bernhard Steffen - 1990
205 Model Checking of Probabilistic and Nondeterministic Systems – Andrea Bianco, Luca De Alfaro - 1995
34 A Logical Characterization of Bisimulation for Labeled Markov Processes – Josee Desharnais, Abbas Edalat, Prakash Panangaden - 1998
602 A Compositional Approach to Performance Modelling – Jane Hillston - 1996
125 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
50 Testing Preorders for Probabilistic Processes – R Cleaveland, Z Dayar, S A Smolka, S Yuen - 1999
47 Testing Preorders for Probabilistic Processes can be Characterized by Simulations – Bengt Jonsson , Wang Yi - 2000
69 Equivalences, congruences, and complete axiomatizations for probabilistic processes – C Jou, S Smolka - 1990
3218 Communication and Concurrency – R Milner - 1989
81 Symbolic model checking for probabilistic processes – Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-garmhausen, Marta Kwiatkowska, Mark Ryan - 1997
122 Approximate symbolic model checking of continuous-time Markov chains (Extended Abstract) – Christel Baier, Joost-pieter Katoen, Holger Hermanns - 1999
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
95 A calculus for communicating systems with time and probabilities – H Hansson, B Jonsson - 1985
18 Probabilistic propositional temporal logic – S Hart, M Sharir - 1986
66 Axiomatizing probabilistic processes: ACP with generative probabilities – J C M Baeten, J A Bergstra, S A Smolka - 1995
116 Model Checking for a Probabilistic Branching Time Logic with Fairness – Christel Baier, Marta Kwiatkowska - 1998
34 Temporal Logics for the Specification of Performance and Reliability – Luca De Alfaro - 1997
147 Time and probability in formal design of distributed systems – H A Hansson - 1994