Distributed Computing

, Volume 6, Issue 1, pp 65–71 | Cite as

Critique of the Lake Arrowhead Three

  • Leslie Lamport

Key words

Concurrency Serializability Specification Verification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abadi M, Lamport L: The existence of refinement mappings. Theor Comp Sci 82(2):253–284 (1991)Google Scholar
  2. 2.
    Back RJR: Refinement calculus, part ii: parallel and reactive programs. Reports on Computer Science and Mathematics Ser. A, No 93, Åbo Akademi 1989Google Scholar
  3. 3.
    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 1988Google Scholar
  4. 4.
    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 1988Google Scholar
  5. 5.
    Hoare CAR: Communicating Sequential Processes. Series in Computer Science. Prentice-Hall International, London 1985Google Scholar
  6. 6.
    Lamport L: A simple approach to specifying concurrent systems. Commun ACM 32(1):32–45 (1989)Google Scholar
  7. 7.
    De Millo RA, Lipton RJ, Perlis AJ: Social processes and proofs of theorems and programs. Commun ACM. 22(5):271–280 (1979)Google Scholar

Copyright information

© Springer-Verlag 1992

Authors and Affiliations

  • Leslie Lamport
    • 1
  1. 1.Digital Equipment CorporationPalo AltoUSA

Personalised recommendations