公開日 Control Predicates Are Better than Dummy Variables for Representing Program Control Leslie Lamport ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 11. | April 1988, pp. 267-281
公開日 Confinement, Deconfinement and Freezing in Lattice Yang-Mills Theories with Continuous Time Christian Borgs Communications in Mathematical Physics | August 1987, 巻116(2): pp. 309-342
公開日 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