Proving Liveness Properties of Concurrent Programs
- 1 July 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 4 (3), 455-495
- https://doi.org/10.1145/357172.357178
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The Total Correctness of Parallel ProgramsSIAM Journal on Computing, 1981
- The ?Hoare logic? of concurrent programsActa Informatica, 1980
- Is “sometime” sometimes better than “always”?Communications of the ACM, 1978
- Formal verification of parallel programsCommunications of the ACM, 1976
- Synchronization of communicating processesCommunications of the ACM, 1972
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968