A model and temporal proof system for networks of processes

This publication has 17 references indexed in Scilit:

• A semantics and proof system for communicating processes
  Lecture Notes in Computer Science, 1984
• Now you may compose temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1984
• How to cook a temporal proof system for your pet language
  Published by Association for Computing Machinery (ACM) ,1983
• Communicating Sequential Processes
  Published by Springer Nature ,1983
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• Verification of Concurrent Programs. Part II. Temporal Proof Principles.
  Published by Defense Technical Information Center (DTIC) ,1981
• A proof technique for communicating sequential processes
  Acta Informatica, 1981
• Verification of Concurrent Programs. Part I. The Temporal Framework,
  Published by Defense Technical Information Center (DTIC) ,1981
• Scenarios: A model of non-determinate computation
  Published by Springer Nature ,1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980