The quest goes on: A survey of proofsystems for partial correctness of CSP
- 1 January 1986
- book chapter
- Published by Springer Nature
- p. 343-395
- https://doi.org/10.1007/bfb0027044
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Modeling the distributed termination convention of CSPACM Transactions on Programming Languages and Systems, 1984
- The ``Hoare Logic'' of CSP, and All ThatACM Transactions on Programming Languages and Systems, 1984
- Transition logicPublished by Association for Computing Machinery (ACM) ,1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Formal Justification of a Proof System for Communicating Sequential ProcessesJournal of the ACM, 1983
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- The ?Hoare logic? of concurrent programsActa Informatica, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967