Rendezvous with ADA

This publication has 8 references indexed in Scilit:

• A sound and complete HOARE axiomatization of the ADA-rendezvous
  Published by Springer Nature ,1982
• Verification of Concurrent Programs. Part II. Temporal Proof Principles.
  Published by Defense Technical Information Center (DTIC) ,1981
• Impartiality, justice and fairness: The ethics of concurrent termination
  Published by Springer Nature ,1981
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• "Sometime" is sometimes "not never"
  Published by Association for Computing Machinery (ACM) ,1980
• Distributed processes
  Communications of the ACM, 1978
• Communicating sequential processes
  Communications of the ACM, 1978