Publication Solved Problems, Unsolved Problems and NonProblems in Concurrency Leslie Lamport Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing | August 1984
Publication Byzantine Clock Synchronization Leslie Lamport, Michael Melliar-Smith Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing | August 1984
Publication Recursive Compiling and Programming Environments (Summary) Leslie Lamport July 1984 | Rejected from the 1985 POPL Conference edition edition Rejected from the 1985 POPL Conference
Publication Constraints: A Uniform Approach to Aliasing and Typing Leslie Lamport, Fred B. Schneider Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | July 1984
Publication The Hoare Logic Of CSP, and All That Leslie Lamport ACM Transactions on Programming Languages and Systems | April 1984, pp. 281-296
Publication Using Time Instead of Timeout for Fault-Tolerant Distributed Systems Leslie Lamport ACM Transactions on Programming Languages and Systems | April 1984, pp. 254-280
Publication The Weak Byzantine Generals Problem Leslie Lamport Journal of the Association for Computing Machinery | June 1983, Vol 30(3): pp. 668-676
Publication What Good Is Temporal Logic? Leslie Lamport Information Processing 83, R. E. A. Mason, ed., Elsevier Publishers | May 1983, Vol 83: pp. 657-668
Publication Lattice Yang-Mills Theory at Nonzero Temperature and the Confinement Problem Christian Borgs, Erhard Seiler May 1983, Vol 91(3): pp. 329-380