Equational axioms for probabilistic bisimilarity (2002)

by Luca Aceto , Zoltán Ésik , Anna Ingólfsdóttir
Venue:IN PROCEEDINGS OF 9TH AMAST, LECTURE NOTES IN COMPUTER SCIENCE
Citations:17 - 0 self

Documents Related by Co-Citation

266 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994
41 Axiomatizations for probabilistic bisimulation – E Bandini, R Segala - 2001
401 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
18 A complete axiom system for finite-state probabilistic processes – E W Stark, S A Smolka - 2000
67 S.: Axiomatizing probabilistic processes: ACP with generative probabilities – J Bergstra, J Baeten, Smolka - 1995
230 Modeling and Verification of Randomized Distributed Real-Time Systems – R Segala - 1995
123 A Complete Inference System for a Class of Regular Behaviours – R Milner - 1984
23 Axiomatizations for probabilistic finite-state behaviors – Yuxin Deng , Catuscia Palamidessi - 2006
17 Compositional reasoning for probabilistic finite-state behaviors – Yuxin Deng, Catuscia Palamidessi, Jun Pang - 2005
93 Algebraic Reasoning for Probabilistic Concurrent Systems – Alessandro Giacalone, Chi-chang Jou, Scott A. Smolka - 1990
152 Reactive, Generative and Stratified Models of Probabilistic Processes – Rob J. Van Glabbeek, Scott A. Smolka, Bernhard Steffen - 1990
36 On Generative Parallel Composition – Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen - 1999
24 Axioms for Probability and Nondeterminism – Michael Mislove, Joël Ouaknine, James Worrell - 2003
16 Domain Equations for Probabilistic Processes – Christel Baier, Marta Kwiatkowska - 1997
10 Probabilistic Process Algebra – S Andova - 2002
67 Probabilistic Extensions of Process Algebras – Bengt Jonsson, Kim G. Larsen, Wang Yi - 2001
120 A domain equation for bisimulation – S Abramsky - 1991
39 Weak bisimulation for probabilistic systems – Anna Philippou, Insup Lee, Oleg Sokolsky - 2000
33 Process Algebra with Probabilistic Choice – Suzana Andova - 1999