Verification system for partial correctness of communicating sequential processes
- 1 January 1986
- journal article
- research article
- Published by Wiley in Systems and Computers in Japan
- Vol. 17 (11), 11-20
- https://doi.org/10.1002/scj.4690171102
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Axiomatic semantics of communicating sequential processesACM Transactions on Programming Languages and Systems, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- How to cook a temporal proof system for your pet languagePublished by Association for Computing Machinery (ACM) ,1983
- Formal Justification of a Proof System for Communicating Sequential ProcessesJournal of the ACM, 1983
- A weakest precondition semantics for communicating processesLecture Notes in Computer Science, 1982
- A proof technique for communicating sequential processesActa Informatica, 1981
- A linear history semantics for distributed languages extended abstractPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1980
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- Communicating sequential processesCommunications of the ACM, 1978