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 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
Publication An Axiomatic Semantics of Concurrent Programming Languages Leslie Lamport Logics and Models of Concurrent Systems, Krzysztof Apt, editor. Springer-Verlag, Berlin | August 1985, pp. 77-122
Publication Distributed Snapshots: Determining Global States of a Distributed System K. Mani Chandy, Leslie Lamport ACM Transactions on Computer Systems | February 1985, pp. 63-75
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 What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority Leslie Lamport Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1985
Publication Synchronizing Clocks in the Presence of Faults Leslie Lamport, P. M. Melliar-Smith Journal of the Association for Computing Machinery | January 1985, Vol 32(1): pp. 52-78
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 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
Research
Research