Towards a theory of simulation for verification of concurrent systems

This publication has 24 references indexed in Scilit:

• Adequate path expressions
  Published by Springer Nature ,2005
• PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols
  IEEE Transactions on Software Engineering, 1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Concurrent Machines
  The Computer Journal, 1985
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• A general-purpose algorithm for analyzing concurrent programs
  Communications of the ACM, 1983
• Petri Nets Theory for the Correctness of Protocols
  IEEE Transactions on Communications, 1982
• Formal verification of parallel programs
  Communications of the ACM, 1976
• Proper termination of flow-of-control in programs involving concurrent processes
  ACM SIGPLAN Notices, 1972