A structural linearization principle for processes

This publication has 9 references indexed in Scilit:

• Verification of a multiplier: 64 bits and beyond
  Published by Springer Nature ,1993
• Reasoning about systems with many processes
  Journal of the ACM, 1992
• Computing with faulty shared memory
  Published by Association for Computing Machinery (ACM) ,1992
• Reasoning about networks with many identical finite state processes
  Information and Computation, 1989
• A structural induction theorem for processes
  Published by Association for Computing Machinery (ACM) ,1989
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980