Abstract
A formalism for specifying and reasoning about concurrent systems is described. Unlike more conventional formalisms, it is not based upon atomic actions. A definition of what it means for one system to implement a higher-level system is given and justified. In Part II, the formalism is used to specify several classes of interprocess communication mechanisms and to prove the correctness of algorithms for implementing them.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bernstein PA, Goodman N (1981) Concurrency control in distributed database systems. ACM Comput Surv 13:185–222
Brauer W (ed) (1980) Net Theory and Applications. Lect Notes Comput Sci 84, Springer-Verlag, Berlin Heidelberg New York
Lamport L (in press) The mutual exclusion problem. J ACM
Lamport L (1979) A new approach to proving the correctness of multiprocess programs. ACM Trans Program Lang Syst 1:84–97
Lamport L: On interprocess communication. Part II: Algorithms. Distributed Computing 1:85-101
Lamport L (1978) Time, clocks and the ordering of events in a distributed system. Commun ACM 21:558–565
Lamport L (1985) What it means for a concurrent program to satisfy a specification: why no one has specified priority. In: Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN, New Orleans
Lamport L (1985) Interprocess Communication. SRI Technical Report, March 1985
Lauer PE, Shields MW. Best E (1979) Formal Theory of the Basic COSY Notation. Technical Report TR143. Computing Laboratory. University of Newcastle upon Tyne
Mazurkiewicz A (1984) Semantics of Concurrent Systems: A Modular Fixed Point Trace Approach. Technical Report 84-19. Institute of Applied Mathematics and Computer Science, University of Leiden
Milner R (1980) A Calculus of Communicating Systems. Lect Notes Comput Sci 92. Springer-Verlag, Berlin Heidelberg New York
Pnueli A (1977) The temporal logic of programs. In: Proc. of the 18th Symposium on the Foundations of Computer Science, ACM, November 1977
Winskel G (1980) Events in Computation. PhD thesis, Edinburgh University
Author information
Authors and Affiliations
Additional information
Dr. Lamport is a member of Digital Equipment Corporation's Systems Research Center. In previous incarnations, he was with SRI International and Massachusetts Computer Associates. The central topic of his research has been concurrency, and he can writeTEX macros and chew gum at the same time.
Much of this research was performed while the author was a member of the Computer Science Laboratory at SRI International, where it was sponsored by the Office of Naval Research Project under contract number N00014-84-C-0621 and the Rome Air Development Command Project under contract number F30602-85-C-0024
Rights and permissions
About this article
Cite this article
Lamport, L. On interprocess communication. Distrib Comput 1, 77–85 (1986). https://doi.org/10.1007/BF01786227
Issue Date:
DOI: https://doi.org/10.1007/BF01786227