출판 Synchronizing Time Servers Leslie Lamport | August 1987 The ACM Conference on Human Factors in Computing Systems Workshop on Sensemaking (CHI 2008)
출판 Expected Computation Time for Hamiltonian Path Problem Yuri Gurevich, Saharon Shelah Journal on Computing | July 1987, 제 16 권(3): pp. 486-502
출판 The Byzantine Generals Danny Dolev, Leslie Lamport, Marshall Pease, Robert Shostak Concurrency Control and Reliability in Distributed Systems, Bharat K. Bhargava, editor, Van Nostrand Reinhold | July 1987, pp. 348-369
출판 Document Production: Visual or Logical? Leslie Lamport Notices of the American Mathematical Society. | June 1987, pp. 621-624
출판 Distribution Leslie Lamport May 1987 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