Publication 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
Publication Confinement, Deconfinement and Freezing in Lattice Yang-Mills Theories with Continuous Time Christian Borgs Communications in Mathematical Physics | August 1987, Vol 116(2): pp. 309-342
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.
