Verification of multiprocess probabilistic protocols

This publication has 11 references indexed in Scilit:

• Symmetric and economical solutions to the mutual exclusion problem in a distributed system
  Theoretical Computer Science, 1984
• Termination of Probabilistic Concurrent Program
  ACM Transactions on Programming Languages and Systems, 1983
• On the extremely fair treatment of probabilistic algorithms
  Published by Association for Computing Machinery (ACM) ,1983
• How to cook a temporal proof system for your pet language
  Published by Association for Computing Machinery (ACM) ,1983
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• The choice coordination problem
  Acta Informatica, 1982
• Reasoning with time and chance
  Information and Control, 1982
• Verification of Concurrent Programs. Part II. Temporal Proof Principles.
  Published by Defense Technical Information Center (DTIC) ,1981
• On the andvantages of free choice
  Published by Association for Computing Machinery (ACM) ,1981
• Hierarchical Ordering of Sequential Processes
  Published by Springer Nature ,1971