Petri Net models of distributed algorithms

This publication has 5 references indexed in Scilit:

• Proving partial order properties
  Theoretical Computer Science, 1994
• A Temporal Proof Methodology for Reactive Systems,
  Published by Defense Technical Information Center (DTIC) ,1993
• A logical characterization of well branching event structures
  Theoretical Computer Science, 1992
• Verification of Sequential and Concurrent Programs
  Published by Springer Nature ,1991
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982