A methodology for programming with concurrency: An informal presentation
- 1 October 1982
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 2 (1) , 1-18
- https://doi.org/10.1016/0167-6423(82)90002-8
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- A methodology for programming with concurrencyPublished by Springer Nature ,2007
- A methodology for programming with concurrency: the formalismScience of Computer Programming, 1982
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- On-the-fly garbage collectionCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- An exercise in proving parallel programs correctCommunications of the ACM, 1977
- Verifying properties of parallel programsCommunications of the ACM, 1976
- Parallel programming: An axiomatic approachComputer Languages, 1975
- MonitorsCommunications of the ACM, 1974
- Some Deadlock Properties of Computer SystemsACM Computing Surveys, 1972