Probabilistic Simulations for Probabilistic Processes

This publication has 9 references indexed in Scilit:

• Randomized mutual exclusion algorithms revisited
  Published by Association for Computing Machinery (ACM) ,1992
• Bisimulation through probabilistic testing
  Information and Computation, 1991
• Simulations between specifications of distributed systems
  Published by Springer Nature ,1991
• Fast randomized consensus using shared memory
  Journal of Algorithms, 1990
• Reasoning about uncertainty in fault-tolerant distributed systems
  Published by Springer Nature ,1988
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• Verification of multiprocess probabilistic protocols
  Distributed Computing, 1986
• The temporal semantics of concurrent programs
  Theoretical Computer Science, 1981
• On the andvantages of free choice
  Published by Association for Computing Machinery (ACM) ,1981