A compositional proof system for distributed programs
From MaRDI portal
Publication:4560363
DOI10.1007/BFb0019365zbMath1412.68038MaRDI QIDQ4560363
Publication date: 11 December 2018
Published in: Baltic Computer Science (Search for Journal in Brave)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Unnamed Item
- Unnamed Item
- Semantics of communication in simple multimodular programs
- Problem-oriented program verification
- Semantics of nondeterminism, concurrency, and communication
- A proof technique for communicating sequential processes
- Axiomatic semantics of communicating sequential processes
- Formal Justification of a Proof System for Communicating Sequential Processes
- Soundness and Completeness of an Axiom System for Program Verification
- Communicating sequential processes
- An axiomatic basis for computer programming
This page was built for publication: A compositional proof system for distributed programs