Using message passing for distributed programming: proof rules and disciplines

This publication has 11 references indexed in Scilit:

• The ``Hoare Logic'' of CSP, and All That
  ACM Transactions on Programming Languages and Systems, 1984
• Procedures and concurrency: A study in proof
  Lecture Notes in Computer Science, 1982
• A sound and complete HOARE axiomatization of the ADA-rendezvous
  Published by Springer Nature ,1982
• A calculus of total correctness for communicating processes
  Science of Computer Programming, 1981
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980
• Semantic analysis of communicating sequential processes
  Lecture Notes in Computer Science, 1980
• Preliminary Ada reference manual
  ACM SIGPLAN Notices, 1979
• Distributed processes
  Communications of the ACM, 1978
• Communicating sequential processes
  Communications of the ACM, 1978
• An axiomatic basis for computer programming
  Communications of the ACM, 1969