A comparative survey of concurrent programming languages
- 1 September 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 17 (9), 76-87
- https://doi.org/10.1145/947955.947965
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- The specification of process synchronization by path expressionsPublished by Springer Nature ,2005
- Synchronizing ResourcesACM Transactions on Programming Languages and Systems, 1981
- An overview of path Pascal's designACM SIGPLAN Notices, 1980
- Deadlock absence proofs for networks of communicating processesInformation Processing Letters, 1979
- Primitives for distributed computingPublished by Association for Computing Machinery (ACM) ,1979
- An exercise in proving parallel programs correctCommunications of the ACM, 1977
- Toward a discipline of real-time programmingCommunications of the ACM, 1977
- Design and implementation of modulaSoftware: Practice and Experience, 1977
- The use of modulaSoftware: Practice and Experience, 1977
- An axiomatic proof technique for parallel programs IActa Informatica, 1976