Language features for process interaction
- 1 March 1977
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 12 (3) , 114-127
- https://doi.org/10.1145/390017.808318
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Protection in operating systemsCommunications of the ACM, 1976
- Reflections on an operating system designCommunications of the ACM, 1976
- Proving monitorsCommunications of the ACM, 1976
- The solo operating system: A concurrent pascal programSoftware: Practice and Experience, 1976
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- A multiprogramming nucleus with dynamic resource facilitiesSoftware: Practice and Experience, 1975
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975
- MonitorsCommunications of the ACM, 1974
- Some Deadlock Properties of Computer SystemsACM Computing Surveys, 1972
- Concurrent control with “readers” and “writers”Communications of the ACM, 1971