Proving correctness of distributed algorithms using high-level Petri nets-a case study

This publication has 13 references indexed in Scilit:

• A temporal proof methodology for reactive systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• How distributed algorithms play the token game
  Published by Springer Nature ,1997
• Message passing mutex
  Published by Springer Nature ,1995
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Appraising fairness in languages for distributed programming
  Distributed Computing, 1988
• Rechensysteme
  Published by Springer Nature ,1987
• Fairness
  Published by Springer Nature ,1986
• Defining liveness
  Information Processing Letters, 1985
• Formal verification of parallel programs
  Communications of the ACM, 1976
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967