Verifying properties of large sets of processes with network invariants

This publication has 17 references indexed in Scilit:

• Synthesis of concurrent systems with many similar sequential processes (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1989
• Limits for automatic verification of finite-state concurrent systems
  Information Processing Letters, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• “Sometimes” and “not never” revisited
  Journal of the ACM, 1986
• A logic for the description of non-deterministic programs and their properties
  Information and Control, 1986
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Process theory: Semantics, specification and verification
  Published by Springer Nature ,1986
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Temporal logic can be more expressive
  Information and Control, 1983
• The temporal semantics of concurrent programs
  Theoretical Computer Science, 1981