A systematic approach to language constructs for concurrent programs
- 31 August 1984
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 4 (2) , 103-139
- https://doi.org/10.1016/0167-6423(84)90016-9
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Principles for distributing programsPublished by Springer Nature ,2005
- High level programming for distributed computingCommunications of the ACM, 1979
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- On the duality of operating system structuresACM SIGOPS Operating Systems Review, 1979
- Towards a wide spectrum language to support program specification and program developmentACM SIGPLAN Notices, 1978
- Distributed processesCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- MonitorsCommunications of the ACM, 1974
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- A data flow language for operating systems programmingACM SIGPLAN Notices, 1973