On interprocess communication
- 1 June 1986
- journal article
- Published by Springer Nature in Distributed Computing
- Vol. 1 (2), 77-85
- https://doi.org/10.1007/bf01786227
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- On interprocess communicationDistributed Computing, 1986
- What it means for a concurrent program to satisfy a specificationPublished by Association for Computing Machinery (ACM) ,1985
- Semantics of concurrent systems: A modular fixed-point trace approachPublished by Springer Nature ,1985
- Concurrency Control in Distributed Database SystemsACM Computing Surveys, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- A New Approach to Proving the Correctness of Multiprocess ProgramsACM Transactions on Programming Languages and Systems, 1979
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977