Compositionality and concurrent networks: Soundness and completeness of a proofsystem
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 509-519
- https://doi.org/10.1007/bfb0015776
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Specification-oriented semantics for communicating processesPublished by Springer Nature ,2005
- A linear-history semantics for languages for distributed programmingTheoretical Computer Science, 1984
- Proofs of Networks of ProcessesIEEE Transactions on Software Engineering, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- The ?Hoare logic? of concurrent programsActa Informatica, 1980
- Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom SystemsJournal of the ACM, 1979
- An axiomatic proof technique for parallel programs IActa Informatica, 1976