Verification of distributed systems: An experiment

This publication has 16 references indexed in Scilit:

• Notes on Algebraic Calculi of Processes
  Published by Springer Nature ,1985
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Petri Nets Theory for the Correctness of Protocols
  IEEE Transactions on Communications, 1982
• Verifying Concurrent Processes Using Temporal Logic
  Published by Springer Nature ,1982
• Formal Methods in Communication Protocol Design
  IEEE Transactions on Communications, 1980
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Flowgraphs and Flow Algebras
  Journal of the ACM, 1979
• Communicating sequential processes
  Communications of the ACM, 1978
• Reduction
  Communications of the ACM, 1975