출판 Distribution Leslie Lamport May 1987 Email message sent to a DEC SRC bulletin board at 12:23:29 PDT on 28 May 87.
출판 A Formal Basis for the Specification of Concurrent Systems Leslie Lamport In Distributed Operating Systems: Theory and Practice, Paker, Banatre and Bozyigit, editors, Springer-Verlag | April 1987, pp. 1-46
출판 Cryptographic Capsules: A Disjunctive Primitive for Interactive Protocols Josh Benaloh Crypto ’86 | August 1986
출판 The Mutual Exclusion Problem – Part I: A Theory of Interprocess Communication Leslie Lamport Journal of the Association for Computing Machinery | January 1986, 제 33 권(2): pp. 313-348
출판 The Mutual Exclusion Problem – Part II: Statements and Solutions Leslie Lamport Journal of the Association for Computing Machinery | January 1986, 제 33 권(2): pp. 313-348
출판 On Interprocess Communication-Part I: Basic Formalism, Part II: Algorithms Leslie Lamport Distributed Computing. Also appeared as SRC Research Report 8. | December 1985, pp. 77-101
출판 A Fast Mutual Exclusion Algorithm Leslie Lamport ACM Transactions on Computer Systems 5, 1 (February 1987), 1-11. Also appeared as SRC Research Report 7. | November 1985, pp. 1-11
출판 An Axiomatic Semantics of Concurrent Programming Languages Leslie Lamport Logics and Models of Concurrent Systems, Krzysztof Apt, editor. Springer-Verlag, Berlin | August 1985, pp. 77-122
출판 Distributed Snapshots: Determining Global States of a Distributed System K. Mani Chandy, Leslie Lamport ACM Transactions on Computer Systems | February 1985, pp. 63-75
