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
Publication 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
