References
Abadi M, Lamport L: The existence of refinement mappings. Theor Comp Sci 82(2):253–284 (1991)
Back RJR: Refinement calculus, part ii: parallel and reactive programs. Reports on Computer Science and Mathematics Ser. A, No 93, Åbo Akademi 1989
Bory M: An example for the design of distributed systems in a formal setting: The lift problem. Technical Report MIP-8802, Fakultät für Mathematik und Informatik, Universität Passau 1988
Broy M: Requirement and design specification for distributed systems: the lift problem. In Proceedings of the Workshop on Future Trends of Distributed Computing Systems in the 1990s, pp 164–173. IEEE Computer Society Press 1988
Hoare CAR: Communicating Sequential Processes. Series in Computer Science. Prentice-Hall International, London 1985
Lamport L: A simple approach to specifying concurrent systems. Commun ACM 32(1):32–45 (1989)
De Millo RA, Lipton RJ, Perlis AJ: Social processes and proofs of theorems and programs. Commun ACM. 22(5):271–280 (1979)
Author information
Authors and Affiliations
Additional information
The photograph and autobiography of Dr. Leslie Lamport were published in Volume 4, Issue No. 2, 1990 on page 59
Rights and permissions
About this article
Cite this article
Lamport, L. Critique of the Lake Arrowhead Three. Distrib Comput 6, 65–71 (1992). https://doi.org/10.1007/BF02276641
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02276641