Formal Justification of a Proof System for Communicating Sequential Processes
- 1 January 1983
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 30 (1), 197-216
- https://doi.org/10.1145/322358.322372
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Recursive assertions and parallel programsActa Informatica, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Full abstraction for a simple parallel programming languageLecture Notes in Computer Science, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977
- Verifying properties of parallel programsCommunications of the ACM, 1976
- A consistent and complete deductive system for the verification of parallel programsPublished by Association for Computing Machinery (ACM) ,1976
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967