Constructing correct and efficient concurrent programs
- 1 April 1975
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 10 (6), 319-326
- https://doi.org/10.1145/390016.808454
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- MonitorsCommunications of the ACM, 1974
- Information streams sharing a finite buffer: other solutionsInformation Processing Letters, 1974
- Concurrent Programming ConceptsACM Computing Surveys, 1973
- Information streams sharing a finite bufferInformation Processing Letters, 1972
- A comparison of two synchronizing conceptsActa Informatica, 1972
- Synchronization of communicating processesCommunications of the ACM, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- A constructive approach to the problem of program correctnessBIT Numerical Mathematics, 1968
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968