Compositionality and concurrent networks: Soundness and completeness of a proofsystem

This publication has 7 references indexed in Scilit:

• Specification-oriented semantics for communicating processes
  Published by Springer Nature ,2005
• A linear-history semantics for languages for distributed programming
  Theoretical Computer Science, 1984
• Proofs of Networks of Processes
  IEEE Transactions on Software Engineering, 1981
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980
• The ?Hoare logic? of concurrent programs
  Acta Informatica, 1980
• Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
  Journal of the ACM, 1979
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976