Publication Synchronizing Time Servers Leslie Lamport | August 1987 The ACM Conference on Human Factors in Computing Systems Workshop on Sensemaking (CHI 2008)
Publication Expected Computation Time for Hamiltonian Path Problem Yuri Gurevich, Saharon Shelah Journal on Computing | July 1987, Vol 16(3): pp. 486-502
Publication 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
Publication Document Production: Visual or Logical? Leslie Lamport Notices of the American Mathematical Society. | June 1987, pp. 621-624
Publication Distribution Leslie Lamport May 1987 Email message sent to a DEC SRC bulletin board at 12:23:29 PDT on 28 May 87.
Publication 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
Publication Cryptographic Capsules: A Disjunctive Primitive for Interactive Protocols Josh Benaloh Crypto ’86 | August 1986
Publication The Mutual Exclusion Problem – Part I: A Theory of Interprocess Communication Leslie Lamport Journal of the Association for Computing Machinery | January 1986, Vol 33(2): pp. 313-348
Publication The Mutual Exclusion Problem – Part II: Statements and Solutions Leslie Lamport Journal of the Association for Computing Machinery | January 1986, Vol 33(2): pp. 313-348
