Leslie Lamport

Emeritus Researcher

출판물

자료 보기:

- Who Builds a House without Drawing Blueprints?
  
  Leslie Lamport
  
  Communications of the ACM | April 2015, 제 58 권(4): pp. 38-41
  
  출판 출판
- Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
  
  Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
  
  Proceedings of the Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARNL 2014) | May 2014
  
  출판
- Adaptive Register Allocation with a Linear Number of Registers
  
  Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport
  
  Proceedings of the 27th International Symposium on Distributed Computing (DISC 2013) | August 2013
  
  출판
- Why We Should Build Software Like We Build Houses
  
  Leslie Lamport
  
  Wired | January 2013
  
  출판
- TLA+ Proofs
  
  Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernan Vanzetto
  
  Proceedings of the 18th International Symposium on Formal Methods (FM 2012), Dimitra Giannakopoulou and Dominique Mery, editors. Springer-Verlag Lecture Notes in Computer Science | January 2012, 제 7436 권: pp. 147-154
  
  출판
- Leaderless Byzantine Paxos
  
  Leslie Lamport
  
  Distributed Computing: 25th International Symposium: DISC 2011, David Peleg, editor. | December 2011, pp. 141-142
  
  출판
- How to Write a 21st Century Proof
  
  Leslie Lamport
  
  Journal of Fixed Point Theory and Applications | November 2011
  
  출판 출판
- Byzantizing Paxos by Refinement
  
  Leslie Lamport
  
  Distributed Computing: 25th International Symposium: DISC 2011, David Peleg, editor. Springer-Verlag. | June 2011, pp. 211-224
  
  출판
- Euclid Writes an Algorithm: A Fairytale
  
  Leslie Lamport
  
  International Journal of Software and Informatics 5, 1-2 (2011) | June 2011, 제 1 권: pp. 7-20
  
  출판
- Verifying Safety Properties With the TLA+ Proof System
  
  Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
  
  Fifth International Joint Conference on Automated Reasoning (IJCAR), Edinburgh, UK. | July 2010
  
  출판
- Computer Science and State Machines
  
  Leslie Lamport
  
  Concurrency, Compositionality, and Correctness (Essays in Honor of Willem-Paul de Roever). Dennis Dams, Ulrich Hannemann, and Martin Steffen editors. Lecture Notes in Computer Science, number 5930 (2010), 60-65. | June 2010, pp. 60-65
  
  출판
- Vertical Paxos and Primary-Backup Replication
  
  Leslie Lamport, Dahlia Malkhi, Lidong Zhou
  
  MSR-TR-2009-63 | May 2009
  
  출판
- Vertical Paxos and Primary-Backup Replication
  
  Leslie Lamport, Dahlia Malkhi, Lidong Zhou
  
  The ACM Symposium on Principles of Distributed Computing (PODC 2009) | February 2009
  
  출판 출판
- Teaching Concurrency
  
  Leslie Lamport
  
  ACM SIGACT News | January 2009, 제 40 권(1): pp. 58-62
  
  출판
- The PlusCal Algorithm Language
  
  Leslie Lamport
  
  Theoretical Aspects of Computing-ICTAC 2009, Martin Leucker and Carroll Morgan editors. Lecture Notes in Computer Science, number 5684, 36-60. | January 2009
  
  출판
- The Mailbox Problem
  
  Leslie Lamport, Eli Gafni, Marcos K. Aguilera
  
  Proceedings of the International Symposium on Distributed Computing | September 2008
  
  출판 출판
- A TLA+ Proof System
  
  Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
  
  Proceedings of the LPAR Workshops, CEUR Workshop | August 2008
  
  출판
- Leslie Lamport: The Specification Language TLA+
  
  Leslie Lamport
  
  In Logics of Specification Languages | 2008 | In Logics of Specification Languages, Dines Bjørner and Martin C. Henson, editors. edition
  
  편집자: Dines Bjarner and Martin C. Henson
  
  출판 출판
- Computation and State Machines
  
  Leslie Lamport
  
  April 2008
  
  출판
- Stoppable Paxos
  
  Dahlia Malkhi, Leslie Lamport, Lidong Zhou
  
  MSR-TR-2008-192 | April 2008
  
  출판
- Reconfiguring a State Machine
  
  Leslie Lamport, Dahlia Malkhi, Lidong Zhou
  
  MSR-TR-2008-193 | February 2008
  
  출판
- Implementing Dataflow With Threads
  
  Leslie Lamport
  
  MSR-TR-2006-181 | December 2006
  
  출판
- Fast Paxos
  
  Leslie Lamport
  
  Distributed Computing | October 2006, 제 19 권: pp. 79-103
  
  출판
- Checking a Multithreaded Algorithm with +CAL
  
  Leslie Lamport
  
  International Symposium on Distributed Computing (DISC) | September 2006
  
  출판
- Chapter in Software Specification Methods: An Overview Using a Case Study
  
  Leslie Lamport
  
  Software Specification Methods: An Overview Using a Case Study, TLA+ | 글쓴이 Hermes | 2006
  
  출판
- Measuring Celebrity
  
  Leslie Lamport
  
  Annals of Improbable Research | January 2006, 제 12 권: pp. 14-15
  
  출판
- Real-Time Model Checking is Really Simple
  
  Leslie Lamport
  
  13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods | June 2005
  
  출판
- How Fast Can Eventual Synchrony Lead to Consensus?
  
  Partha Dutta, Rachid Guerraoui, Leslie Lamport
  
  Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005) | June 2005
  
  출판
- Generalized Consensus and Paxos
  
  Leslie Lamport
  
  MSR-TR-2005-33 | March 2005
  
  출판
- Real Time is Really Simple
  
  Leslie Lamport
  
  MSR-TR-2005-30 | March 2005
  
  출판
- Implementing and Combining Specifications
  
  Leslie Lamport
  
  September 2004
  
  출판
- Lower Bounds for Asynchronous Consensus
  
  Leslie Lamport
  
  MSR-TR-2004-72 | July 2004
  
  출판 출판
- Cheap Paxos
  
  Leslie Lamport, Mike Massa
  
  International Conference on Dependable Systems and Networks (DSN 2004) | June 2004
  
  출판
- Formal Specification of a Web Services Protocol
  
  James E. Johnson, David Langworthy, Leslie Lamport, Friedrich H. Vogt
  
  First International Workshop on Web Services and Formal Methods (WS-FM 2004) | February 2004
  
  출판
- Consensus on Transaction Commit
  
  Jim Gray, Leslie Lamport
  
  MSR-TR-2003-96 | January 2004
  
  글쓴이 Microsoft
  
  ACM Transactions on Database Systems 31, 1 (2006), 133-160
  
  Publication
- On Hair Color in France
  
  Ellen Gilkerson, Leslie Lamport
  
  January 2004
  
  출판
- The Future of Computing: Logic or Biology
  
  Leslie Lamport
  
  July 2003
  
  출판
- Disk Paxos
  
  Eli Gafni, Leslie Lamport
  
  Distributed Computing: 14th International Conference, DISC 2000, Maurice Herlihy, editor. Lecture Notes in Computer Science number 1914, Springer-Verlag, (2000) 330-344. | May 2003
  
  출판 출판
- Checking Cache-Coherence Protocols with TLA+
  
  Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark Tuttle, Yuan Yu
  
  Journal of Formal Methods in System Design | March 2003, 제 22 권: pp. 125-131
  
  출판
- High-Level Specifications: Lessons from Industry
  
  Brannon Batson, Leslie Lamport
  
  Formal Methods for Components and Objects | March 2003
  
  출판 출판
- Specifying and verifying systems with TLA+
  
  Leslie Lamport, John Matthews, Mark Tuttle, Yuan Yu
  
  Proceedings of the Tenth ACM SIGOPS European Workshop | September 2002
  
  출판 출판
- A Discussion With Leslie Lamport
  
  Leslie Lamport, Dejan Milojicic
  
  August 2002
  
  An interview in IEEE Distributed Systems Online 3, 8
  
  출판
- Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
  
  Leslie Lamport
  
  Published by Addison-Wesley | June 2002
  
  출판
- Arbiter-Free Synchronization
  
  Leslie Lamport
  
  Distributed Computing | March 2002, 제 16 권(3): pp. 219-237
  
  출판 출판
- The Wildfire Challenge Problem
  
  Leslie Lamport, Madhu Sharma, Mark Tuttle, Yuan Yu
  
  January 2001
  
  출판
- Paxos Made Simple
  
  Leslie Lamport
  
  ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole Number 121, December 2001) | December 2001, pp. 51-58
  
  출판
- Fairness and Hyperfairness
  
  Leslie Lamport
  
  Distributed Computing. Also appeared as SRC Research Report 152. A preliminary version of this paper was rejected by Concur 99. | May 2000
  
  출판
- Archival References to Web Pages
  
  Leslie Lamport
  
  Ninth International World Wide Web Conference: Poster Proceedings | May 2000
  
  출판
- Lower Bounds on Consensus
  
  Leslie Lamport
  
  March 2000
  
  출판
- When Does a Correct Mutual Exclusion Algorithm Guarantee Mutual Exclusion
  
  Leslie Lamport, Sharon Perl, William Weihl
  
  Information Processing Letters | March 2000, 제 76 권(3): pp. 131-134
  
  출판
- How (La)TeX changed the face of Mathematics
  
  Leslie Lamport
  
  Mitteilungen der Deutschen Mathematiker-Vereinigung | January 2000, pp. 49-51
  
  출판
- Model Checking TLA+ Specifications
  
  Yuan Yu, Panagiotis Manolios, Leslie Lamport
  
  In Correct Hardware Design and Verification Methods (CHARME '99), Laurence Pierre and Thomas Kropf editors. Lecture Notes in Computer Science, Springer-Verlag. | June 1999
  
  출판
- Should Your Specification Language Be Typed?
  
  Leslie Lamport, Lawrence C. Paulson
  
  ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 147. | May 1999, 제 31 권(3): pp. 502-526
  
  출판
- Specifying Concurrent Systems with TLA+
  
  Leslie Lamport
  
  Calculational System Design | April 1999, pp. 183-247
  
  출판
- A Lazy Caching Proof in TLA
  
  Peter Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel
  
  Distributed Computing 12 | April 1999, 제 2 권(3): pp. 151-174
  
  출판
- TLA+ Verification of Cache-Coherence Protocols
  
  Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Mark Tuttle, Yuan Yu, Joshua Scheid
  
  February 1999
  
  출판
- Reduction in TLA
  
  Leslie Lamport, Ernie Cohen
  
  CONCUR'98 Concurrency Theory, David Sangiorgi and Robert de Simone editors. Lecture Notes in Computer Science. | May 1998
  
  출판 출판
- The Part-Time Parliament
  
  Leslie Lamport
  
  ACM Transactions on Computer Systems 16, 2 (May 1998), 133-169. Also appeared as SRC Research Report 49. This paper was first submitted in 1990, setting a personal record for publication delay that has since been broken by [60]. | May 1998
  
  ACM SIGOPS Hall of Fame Award in 2012
  
  출판
- Substitution: Syntactic versus Semantic
  
  Leslie Lamport
  
  1998-004 | March 1998
  
  The Fifth Internatinal Conference on Theoretical and Methodological Issues in Machine Translation with special emphasis on: MT in the Next Generation
  
  출판
- Proving Possibility Properties
  
  Leslie Lamport
  
  Theoretical Computer Science. Also appeared as SRC Research Report 137. | March 1998, 제 206 권(2): pp. 341-352
  
  출판
- Composition: A Way to Make Proofs Harder
  
  Leslie Lamport
  
  Compositionality: The Significant Difference (Proceedings of the COMPOS'97 Symposium), Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli editors. Lecture Notes in Computer Science. | December 1997
  
  출판
- Marching to Many Distant Drummers
  
  Leslie Lamport, Timothy Mann
  
  May 1997
  
  출판
- Refinement in State-Based Formalisms
  
  Leslie Lamport
  
  1996-001 | December 1996
  
  출판
- A TLA Solution to the RPC-Memory Specification Problem
  
  Martin Abadi, Leslie Lamport, Stephan Merz
  
  Formal Systems Specification: The RPC-Memory Specification Case Study, Manfred Broy, Stephan Merz, and Katharina Spies editors. Lecture Notes in Computer Science, number 1169, (1996), 21-66. | November 1996
  
  출판
- The RPC-Memory Specification Problem: Problem Statement
  
  Manfred Broy, Leslie Lamport
  
  Formal Systems Specification: The RPC-Memory Specification Case Study, Manfred Broy, Stephan Merz, and Katharina Spies editors. Lecture Notes in Computer Science. | August 1996, 제 1169 권: pp. 1-4
  
  출판
- TLA in Pictures
  
  Leslie Lamport
  
  IEEE Transactions on Software Engineering | September 1995, 제 21 권(9): pp. 768-775
  
  출판
- How to Write a Proof
  
  Leslie Lamport
  
  American Mathematical Monthly. Also appeared in Global Analysis in Modern Mathematics, Karen Uhlenbeck, editor. Publish or Perish Press, Houston. Also appeared as SRC Research Report 94. | August 1995, 제 102 권(7): pp. 600-608
  
  출판
- Conjoining Specifications
  
  Martin Abadi, Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 118. | May 1995, 제 17 권(3): pp. 507-534
  
  출판
- Adding “Process Algebra” to TLA
  
  Leslie Lamport
  
  January 1995
  
  출판
- What Process Algebra Proofs Use Instead of Invariance
  
  Leslie Lamport
  
  January 1995
  
  출판
- Processes are in the Eye of the Beholder
  
  Leslie Lamport
  
  Theoretical Computer Science SRC Research Report 132 | December 1994, 제 179 권: pp. 333-351
  
  출판
- Introduction to TLA
  
  Leslie Lamport
  
  1994-001 | December 1994
  
  The Annals of Statistics
  
  출판
- How to Write a Long Formula
  
  Leslie Lamport
  
  FACJ 6(5) (September/October 1994) 580-584. Also appeared as SRC Research Report 119. | September 1994
  
  출판
- Decomposing Specifications of Concurrent Systems
  
  Leslie Lamport, Martin Abadi
  
  Programming Concepts, Methods and Calculi, Ernst-RÃ¼diger Olderog editor. (Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet '94, San Miniato, Italy.) North-Holland | August 1994
  
  출판
- Open Systems in TLA
  
  Martin Abadi, Leslie Lamport
  
  Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing | August 1994
  
  출판
- Specifying and Verifying Fault-Tolerant Systems
  
  Leslie Lamport
  
  Formal Techniques in Real-Time and Fault-Tolerant Systems, H. Langmaack, W.-P. de Roever, J. Vytopil editors. Lecture Notes in Computer Science, Springer-Verlag | July 1994
  
  출판
- TLZ (Abstract)
  
  Leslie Lamport
  
  Z User's Workshop, Cambridge. J.P. Bowen and J.A. Hall (Eds.) | May 1994
  
  출판
- The Temporal Logic of Actions
  
  Leslie Lamport
  
  79 | May 1994
  
  글쓴이 Microsoft
  
  ACM Transactions on Programming Languages and Systems 16
  
  Publication
- Composing Specifications
  
  Leslie Lamport, Martin Abadi
  
  ACM Transactions on Programming Languages and Systems 15, 1 (January 1993), 73-132. Also appeared as SRC Research Report 66. A preliminary version appeared in Stepwise Refinement of Distributed Systems, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors, Springer-Verlag Lecture Notes in Computer Science Volume 430 (1989), 1-41. | July 1993
  
  출판
- Verification of a Multiplier: 64 Bits and Beyond
  
  Leslie Lamport
  
  Computer-Aided Verification, Costas Courcoubetis, editor. (Proceedings of the Fifth International Conference, CAV'93.) Lecture Notes in Computer Science, number 697, Springer-Verlag (June, 1993), 166-179. | July 1993
  
  출판
- Verification and Specification of Concurrent Programs
  
  Leslie Lamport
  
  A Decade of Concurrency: Reflections and Perspectives, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors. Lecture Notes in Computer Science, number 803, Springer-Verlag, (June, 1993) 347-374. | June 1993
  
  출판
- Hybrid Systems in TLA+
  
  Leslie Lamport
  
  Hybrid Systems, Robert L. Grossman, Anil Nerode, Hans Rischel, and Anders P. Ravn, editors. Lecture Notes in Computer Science, Springer-Verlag | 1993, Vol 736 | Hybrid Systems, Robert L. Grossman, Anil Nerode, Hans Rischel, and Anders P. Ravn, editors. Lecture Notes in Computer Science, Springer-Verlag edition
  
  출판
- How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor
  
  Leslie Lamport
  
  IEEE Transactions on Computers SRC Research Report 96 | February 1993, 제 46 권(7): pp. 779-782
  
  출판
- Critique of the Lake Arrowhead Three
  
  Leslie Lamport
  
  Distributed Computing | August 1992, pp. 65-71
  
  출판
- Mechanical Verification of Concurrent Systems with TLA
  
  Urban Engberg, Peter Gronning, Leslie Lamport
  
  Computer-Aided Verification, G. v. Bochmann and D. K. Probst editors. (Proceedings of the Fourth International Conference, CAV'92.) Lecture Notes in Computer Science, number 663, Springer-Verlag, (June, 1992) 44-55. | June 1992
  
  출판
- The Reduction Theorem
  
  Leslie Lamport
  
  April 1992
  
  출판
- An Old-Fashioned Recipe for Real Time
  
  Martin Abadi, Leslie Lamport
  
  Proceedings of REX Workshop "Real-Time: Theory in Practice", Mook, The Netherlands, June 1991 | January 1992
  
  출판
- Preserving Liveness: Comments on “Safety and Liveness from a Methodological Point of View”
  
  Martin Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider
  
  Information Processing Letters | November 1991, 제 40 권(3): pp. 141-142
  
  출판
- The Concurrent Reading and Writing of Clocks
  
  Leslie Lamport
  
  ACM Transactions on Computer Systems. Also appeared as SRC Research Report 27. | November 1990, pp. 305-310
  
  출판
- A Completeness Theorem for TLA
  
  Leslie Lamport
  
  October 1990
  
  출판
- The Mutual Exclusion Problem Has Been Solved
  
  Leslie Lamport
  
  Communications of the ACM | September 1990, 제 34 권(1): pp. 110
  
  출판
- A Theorem on Atomicity in Distributed Algorithms
  
  Leslie Lamport
  
  Distributed Computing. Also appeared as SRC Research Report 28. | August 1990, 제 4 권(2): pp. 59-68
  
  출판
- Distributed Computing: Models and Methods
  
  Leslie Lamport, Nancy Lynch
  
  Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, Jan van Leeuwen, editor, Elsevier | August 1990, pp. 1157-1199
  
  출판
- win and sin: Predicate Transformers for Concurrency
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 17 (May 1987). | July 1990
  
  출판
- Realizable and Unrealizable Specifications of Reactive Systems
  
  Martin Abadi, Leslie Lamport, Pierre Wolper
  
  Automata, Languages and Programming, Springer-Verlag | July 1989, pp. 1-17
  
  출판
- Pretending Atomicity
  
  Leslie Lamport, Fred B. Schneider
  
  SRC Research Report 44 | May 1989
  
  출판
- A Simple Approach to Specifying Concurrent Systems
  
  Leslie Lamport
  
  Proc. of ACM SIGCOMM. Communications of the ACM 32. Also appeared as SRC Research Report 15. | January 1989
  
  출판
- A Lattice-Structured Proof of a Minimum Spanning Tree Algorithm
  
  Jennifer Lundelius Welch, Leslie Lamport, Nancy Lynch
  
  Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing | August 1988
  
  출판
- Another Position Paper on Fairness
  
  Fred B. Schneider, Leslie Lamport
  
  Software Engineering Notes | July 1988, 제 13 권(3): pp. 1-2
  
  출판
- The Existence of Refinement Mappings
  
  Martin Abadi, Leslie Lamport
  
  Proceedings of the 3rd Annual Symposium on Logic in Computer Science | July 1988
  
  LICS 1988 Test of Time Award
  
  출판
- “EWD 1013”
  
  Leslie Lamport
  
  April 1988
  
  출판
- 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
  
  출판
- Synchronizing Time Servers
  
  Leslie Lamport
  
  | August 1987
  
  The ACM Conference on Human Factors in Computing Systems Workshop on Sensemaking (CHI 2008)
  
  출판
- 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
  
  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
  
  출판
- Derivation of a Simple Synchronization Algorithm
  
  Leslie Lamport
  
  February 1987
  
  출판
- The Mutual Exclusion Problem – Part I: A Theory of Interprocess Communication
  
  Leslie Lamport
  
  Journal of the Association for Computing Machinery | January 1986, 제 33 권(2): pp. 313-348
  
  출판
- The Mutual Exclusion Problem – Part II: Statements and Solutions
  
  Leslie Lamport
  
  Journal of the Association for Computing Machinery | January 1986, 제 33 권(2): pp. 313-348
  
  출판
- 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
  
  출판 출판
- A Fast Mutual Exclusion Algorithm
  
  Leslie Lamport
  
  ACM Transactions on Computer Systems 5, 1 (February 1987), 1-11. Also appeared as SRC Research Report 7. | November 1985, pp. 1-11
  
  출판
- 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
  
  출판
- Distributed Snapshots: Determining Global States of a Distributed System
  
  K. Mani Chandy, Leslie Lamport
  
  ACM Transactions on Computer Systems | February 1985, pp. 63-75
  
  출판
- Synchronizing Clocks in the Presence of Faults
  
  Leslie Lamport, P. M. Melliar-Smith
  
  Journal of the Association for Computing Machinery | January 1985, 제 32 권(1): pp. 52-78
  
  출판
- 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
  
  출판
- Buridan’s Principle
  
  Leslie Lamport
  
  Foundations of Physics | October 1984, 제 42 권(8): pp. 1056-1066
  
  출판
- On a “Theorem” of Peterson
  
  Leslie Lamport
  
  October 1984
  
  출판
- Solved Problems, Unsolved Problems and NonProblems in Concurrency
  
  Leslie Lamport
  
  Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing | August 1984
  
  출판
- Byzantine Clock Synchronization
  
  Leslie Lamport, Michael Melliar-Smith
  
  Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing | August 1984
  
  출판
- Recursive Compiling and Programming Environments (Summary)
  
  Leslie Lamport
  
  July 1984 | Rejected from the 1985 POPL Conference 에디션 에디션
  
  Rejected from the 1985 POPL Conference
  
  출판
- 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
  
  출판
- The Hoare Logic Of CSP, and All That
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems | April 1984, pp. 281-296
  
  출판
- Using Time Instead of Timeout for Fault-Tolerant Distributed Systems
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems | April 1984, pp. 254-280
  
  출판
- The Weak Byzantine Generals Problem
  
  Leslie Lamport
  
  Journal of the Association for Computing Machinery | June 1983, 제 30 권(3): pp. 668-676
  
  출판
- What Good Is Temporal Logic?
  
  Leslie Lamport
  
  Information Processing 83, R. E. A. Mason, ed., Elsevier Publishers | May 1983, 제 83 권: pp. 657-668
  
  출판
- Specifying Concurrent Program Modules
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems | April 1983, pp. 190-222
  
  출판
- Reasoning About Nonatomic Operations
  
  Leslie Lamport
  
  Proceedings of the Tenth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1983
  
  출판
- An Assertional Correctness Proof of a Distributed Program
  
  Leslie Lamport
  
  Science of Computer Programming | December 1982, pp. 175-206
  
  출판
- The Byzantine Generals Problem
  
  Leslie Lamport, Robert Shostak, Marshall Pease
  
  ACM Transactions on Programming Languages and Systems | July 1982, pp. 382-401
  
  출판
- Proving Liveness Properties of Concurrent Programs
  
  Leslie Lamport, Susan Owicki
  
  ACM Transactions on Programming Languages and Systems | July 1982, 제 4 권(3): pp. 455-495
  
  출판
- Byzantine Generals and Transaction Commit Protocols
  
  Leslie Lamport, Michael Fischer
  
  April 1982
  
  출판
- Password Authentication with Insecure Communication
  
  Leslie Lamport
  
  Communications of the ACM 24 | November 1981, pp. 770-772
  
  출판
- Reaching Agreement in the Presence of Faults
  
  Marshall Pease, Robert Shostak, Leslie Lamport
  
  Journal of the Association for Computing Machinery 27 | April 1980, 제 2 권
  
  2005 Edsger W. Dijkstra Prize in Distributed Computing
  
  출판
- Sometime’ is Sometimes ‘Not Never’
  
  Leslie Lamport
  
  Proceedings of the Seventh ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1980
  
  출판
- Letter to the Editor
  
  Leslie Lamport
  
  Communications of the ACM 22 | November 1979, 제 11 권: pp. 624
  
  출판
- Constructing Digital Signatures from a One Way Function
  
  Leslie Lamport
  
  CSL-98 | October 1979
  
  This paper was published by IEEE in the Proceedings of HICSS-43 in January, 2010.
  
  출판
- On the Proof of Correctness of a Calendar Program
  
  Leslie Lamport
  
  Communications of the ACM 22 | October 1979, 제 10 권: pp. 554-556
  
  출판
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
  
  Leslie Lamport
  
  IEEE Transactions on Computers C-28 | September 1979, 제 9 권: pp. 690-691
  
  출판
- How to Present a Paper
  
  Leslie Lamport
  
  August 1979
  
  출판
- A New Approach to Proving the Correctness of Multiprocess Programs
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems 1 | July 1979, 제 1 권: pp. 84-97
  
  출판 출판
- A General Construction for Expressing Repetition
  
  Leslie Lamport
  
  ACM SIGPLAN Notices 14 | March 1979, 제 3 권: pp. 38-42
  
  출판
- On-the-fly Garbage Collection: an Exercise in Cooperation
  
  Edsger W. Dijkstra, Leslie Lamport, A. J. Martin, C. S. Scholten, E. F. M. Steffens
  
  Communications of the ACM 21 | November 1978, 제 11 권: pp. 966-975
  
  출판
- SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control
  
  John H. Wensley, Leslie Lamport, Jack Goldberg, Milton W. Green, Karl N. Levitt, P. M. Melliar-Smith, Robert E. Shostak, Charles B. Weinstock
  
  Proceedings of the IEEE 66 | October 1978
  
  출판
- The Implementation of Reliable Distributed Multiprocess Systems
  
  Leslie Lamport
  
  Computer Networks | August 1978, 제 2 권: pp. 95-114
  
  출판
- Time, Clocks and the Ordering of Events in a Distributed System
  
  Leslie Lamport
  
  Communications of the ACM 21, 7 (July 1978), 558-565. Reprinted in several collections, including Distributed Computing: Concepts and Implementations, McEntire et al., ed. IEEE Press, 1984. | July 1978, pp. 558-565
  
  2000 PODC Influential Paper Award (later renamed the Edsger W. Dijkstra Prize in Distributed Computing). Also awarded an ACM SIGOPS Hall of Fame Award in 2007.
  
  출판
- State the Problem Before Describing the Solution
  
  Leslie Lamport
  
  ACM SIGSOFT Software Engineering Notes | January 1978, pp. 26
  
  출판
- On Concurrent Reading and Writing
  
  Leslie Lamport
  
  Communications of the ACM 20 | November 1977, 제 11 권: pp. 806-811
  
  출판
- Proving the Correctness of Multiprocess Programs
  
  Leslie Lamport
  
  IEEE Transactions on Software Engineering SE-3 | March 1977, 제 2 권: pp. 125-143
  
  출판
- How to Tell a Program from an Automobile
  
  Leslie Lamport
  
  In A Dynamic and Quick Intellect, John Tromp editor (1996)--a Liber Amicorum issued by the CWI in honor of Paul Vitanyi's 25-year jubilee. | January 1977
  
  출판
- On the Glitch Phenomenon
  
  Leslie Lamport, Richard Palais
  
  November 1976 | Rejected by IEEE Transactions on Computers (November 1976). 에디션 에디션
  
  Rejected by IEEE Transactions on Computers (November 1976).
  
  출판
- Multiple Byte Processing with Full-Word Instructions
  
  Leslie Lamport
  
  Communications of the ACM | August 1975, 제 18 권(8): pp. 471-475
  
  출판
- On Self-stabilizing Systems
  
  Leslie Lamport
  
  CA 7412-0511 | December 1974
  
  출판
- A New Solution of Dijkstra’s Concurrent Programming Problem
  
  Leslie Lamport
  
  Communications of the ACM 17 | August 1974
  
  출판
- The Parallel Execution of DO Loops
  
  Leslie Lamport
  
  Communications of the ACM 17 | February 1974, 제 2 권: pp. 83-93
  
  출판
- An Extension of a Theorem of Hamada on the Cauchy Problem with Singular Data
  
  Leslie Lamport
  
  American Mathematical Society | July 1973, 제 174 권(4): pp. 776
  
  출판
- The Analytic Cauchy Problem with Singular Data
  
  Leslie Lamport
  
  May 1972
  
  박사학위논문: Brandeis University | May 1972
  
  출판
- Comment on Bell’s Quadratic Quotient Algorithm
  
  Leslie Lamport
  
  Communications of the ACM | September 1970, 제 13 권(9)
  
  출판
- Summer Vision Programs
  
  Leslie Lamport
  
  October 1966
  
  Massachusetts Institute of Technology, Project MAC Memorandum MAC-M-332, Artificial Intelligence Project Memo Number Vision 111
  
  출판
- Braid Theory
  
  Leslie Lamport, Jackson Wright, Neal Plotkin, Robert Teitel, Martin Wenglinsky
  
  November 1957
  
  출판

- The Wildfire Challenge Problem
  
  Leslie Lamport, Madhu Sharma, Mark Tuttle, Yuan Yu
  
  January 2001
  
  출판
- Fairness and Hyperfairness
  
  Leslie Lamport
  
  Distributed Computing. Also appeared as SRC Research Report 152. A preliminary version of this paper was rejected by Concur 99. | May 2000
  
  출판
- Archival References to Web Pages
  
  Leslie Lamport
  
  Ninth International World Wide Web Conference: Poster Proceedings | May 2000
  
  출판
- Lower Bounds on Consensus
  
  Leslie Lamport
  
  March 2000
  
  출판
- When Does a Correct Mutual Exclusion Algorithm Guarantee Mutual Exclusion
  
  Leslie Lamport, Sharon Perl, William Weihl
  
  Information Processing Letters | March 2000, 제 76 권(3): pp. 131-134
  
  출판
- How (La)TeX changed the face of Mathematics
  
  Leslie Lamport
  
  Mitteilungen der Deutschen Mathematiker-Vereinigung | January 2000, pp. 49-51
  
  출판
- Model Checking TLA+ Specifications
  
  Yuan Yu, Panagiotis Manolios, Leslie Lamport
  
  In Correct Hardware Design and Verification Methods (CHARME '99), Laurence Pierre and Thomas Kropf editors. Lecture Notes in Computer Science, Springer-Verlag. | June 1999
  
  출판
- Should Your Specification Language Be Typed?
  
  Leslie Lamport, Lawrence C. Paulson
  
  ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 147. | May 1999, 제 31 권(3): pp. 502-526
  
  출판
- Specifying Concurrent Systems with TLA+
  
  Leslie Lamport
  
  Calculational System Design | April 1999, pp. 183-247
  
  출판
- A Lazy Caching Proof in TLA
  
  Peter Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel
  
  Distributed Computing 12 | April 1999, 제 2 권(3): pp. 151-174
  
  출판
- TLA+ Verification of Cache-Coherence Protocols
  
  Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Mark Tuttle, Yuan Yu, Joshua Scheid
  
  February 1999
  
  출판
- Reduction in TLA
  
  Leslie Lamport, Ernie Cohen
  
  CONCUR'98 Concurrency Theory, David Sangiorgi and Robert de Simone editors. Lecture Notes in Computer Science. | May 1998
  
  출판 출판
- The Part-Time Parliament
  
  Leslie Lamport
  
  ACM Transactions on Computer Systems 16, 2 (May 1998), 133-169. Also appeared as SRC Research Report 49. This paper was first submitted in 1990, setting a personal record for publication delay that has since been broken by [60]. | May 1998
  
  ACM SIGOPS Hall of Fame Award in 2012
  
  출판
- Substitution: Syntactic versus Semantic
  
  Leslie Lamport
  
  1998-004 | March 1998
  
  The Fifth Internatinal Conference on Theoretical and Methodological Issues in Machine Translation with special emphasis on: MT in the Next Generation
  
  출판
- Proving Possibility Properties
  
  Leslie Lamport
  
  Theoretical Computer Science. Also appeared as SRC Research Report 137. | March 1998, 제 206 권(2): pp. 341-352
  
  출판
- Composition: A Way to Make Proofs Harder
  
  Leslie Lamport
  
  Compositionality: The Significant Difference (Proceedings of the COMPOS'97 Symposium), Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli editors. Lecture Notes in Computer Science. | December 1997
  
  출판
- Marching to Many Distant Drummers
  
  Leslie Lamport, Timothy Mann
  
  May 1997
  
  출판
- Refinement in State-Based Formalisms
  
  Leslie Lamport
  
  1996-001 | December 1996
  
  출판
- A TLA Solution to the RPC-Memory Specification Problem
  
  Martin Abadi, Leslie Lamport, Stephan Merz
  
  Formal Systems Specification: The RPC-Memory Specification Case Study, Manfred Broy, Stephan Merz, and Katharina Spies editors. Lecture Notes in Computer Science, number 1169, (1996), 21-66. | November 1996
  
  출판
- The RPC-Memory Specification Problem: Problem Statement
  
  Manfred Broy, Leslie Lamport
  
  Formal Systems Specification: The RPC-Memory Specification Case Study, Manfred Broy, Stephan Merz, and Katharina Spies editors. Lecture Notes in Computer Science. | August 1996, 제 1169 권: pp. 1-4
  
  출판
- TLA in Pictures
  
  Leslie Lamport
  
  IEEE Transactions on Software Engineering | September 1995, 제 21 권(9): pp. 768-775
  
  출판
- How to Write a Proof
  
  Leslie Lamport
  
  American Mathematical Monthly. Also appeared in Global Analysis in Modern Mathematics, Karen Uhlenbeck, editor. Publish or Perish Press, Houston. Also appeared as SRC Research Report 94. | August 1995, 제 102 권(7): pp. 600-608
  
  출판
- Conjoining Specifications
  
  Martin Abadi, Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 118. | May 1995, 제 17 권(3): pp. 507-534
  
  출판
- Adding “Process Algebra” to TLA
  
  Leslie Lamport
  
  January 1995
  
  출판
- Processes are in the Eye of the Beholder
  
  Leslie Lamport
  
  Theoretical Computer Science SRC Research Report 132 | December 1994, 제 179 권: pp. 333-351
  
  출판
- Introduction to TLA
  
  Leslie Lamport
  
  1994-001 | December 1994
  
  The Annals of Statistics
  
  출판
- How to Write a Long Formula
  
  Leslie Lamport
  
  FACJ 6(5) (September/October 1994) 580-584. Also appeared as SRC Research Report 119. | September 1994
  
  출판
- Open Systems in TLA
  
  Martin Abadi, Leslie Lamport
  
  Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing | August 1994
  
  출판
- Decomposing Specifications of Concurrent Systems
  
  Leslie Lamport, Martin Abadi
  
  Programming Concepts, Methods and Calculi, Ernst-RÃ¼diger Olderog editor. (Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet '94, San Miniato, Italy.) North-Holland | August 1994
  
  출판
- Specifying and Verifying Fault-Tolerant Systems
  
  Leslie Lamport
  
  Formal Techniques in Real-Time and Fault-Tolerant Systems, H. Langmaack, W.-P. de Roever, J. Vytopil editors. Lecture Notes in Computer Science, Springer-Verlag | July 1994
  
  출판
- TLZ (Abstract)
  
  Leslie Lamport
  
  Z User's Workshop, Cambridge. J.P. Bowen and J.A. Hall (Eds.) | May 1994
  
  출판
- Verification of a Multiplier: 64 Bits and Beyond
  
  Leslie Lamport
  
  Computer-Aided Verification, Costas Courcoubetis, editor. (Proceedings of the Fifth International Conference, CAV'93.) Lecture Notes in Computer Science, number 697, Springer-Verlag (June, 1993), 166-179. | July 1993
  
  출판
- Composing Specifications
  
  Leslie Lamport, Martin Abadi
  
  ACM Transactions on Programming Languages and Systems 15, 1 (January 1993), 73-132. Also appeared as SRC Research Report 66. A preliminary version appeared in Stepwise Refinement of Distributed Systems, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors, Springer-Verlag Lecture Notes in Computer Science Volume 430 (1989), 1-41. | July 1993
  
  출판
- Verification and Specification of Concurrent Programs
  
  Leslie Lamport
  
  A Decade of Concurrency: Reflections and Perspectives, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors. Lecture Notes in Computer Science, number 803, Springer-Verlag, (June, 1993) 347-374. | June 1993
  
  출판
- Hybrid Systems in TLA+
  
  Leslie Lamport
  
  Hybrid Systems, Robert L. Grossman, Anil Nerode, Hans Rischel, and Anders P. Ravn, editors. Lecture Notes in Computer Science, Springer-Verlag | 1993, Vol 736 | Hybrid Systems, Robert L. Grossman, Anil Nerode, Hans Rischel, and Anders P. Ravn, editors. Lecture Notes in Computer Science, Springer-Verlag edition
  
  출판
- How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor
  
  Leslie Lamport
  
  IEEE Transactions on Computers SRC Research Report 96 | February 1993, 제 46 권(7): pp. 779-782
  
  출판
- Critique of the Lake Arrowhead Three
  
  Leslie Lamport
  
  Distributed Computing | August 1992, pp. 65-71
  
  출판
- Mechanical Verification of Concurrent Systems with TLA
  
  Urban Engberg, Peter Gronning, Leslie Lamport
  
  Computer-Aided Verification, G. v. Bochmann and D. K. Probst editors. (Proceedings of the Fourth International Conference, CAV'92.) Lecture Notes in Computer Science, number 663, Springer-Verlag, (June, 1992) 44-55. | June 1992
  
  출판
- The Reduction Theorem
  
  Leslie Lamport
  
  April 1992
  
  출판
- Preserving Liveness: Comments on “Safety and Liveness from a Methodological Point of View”
  
  Martin Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider
  
  Information Processing Letters | November 1991, 제 40 권(3): pp. 141-142
  
  출판
- The Concurrent Reading and Writing of Clocks
  
  Leslie Lamport
  
  ACM Transactions on Computer Systems. Also appeared as SRC Research Report 27. | November 1990, pp. 305-310
  
  출판
- A Completeness Theorem for TLA
  
  Leslie Lamport
  
  October 1990
  
  출판
- The Mutual Exclusion Problem Has Been Solved
  
  Leslie Lamport
  
  Communications of the ACM | September 1990, 제 34 권(1): pp. 110
  
  출판
- Distributed Computing: Models and Methods
  
  Leslie Lamport, Nancy Lynch
  
  Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, Jan van Leeuwen, editor, Elsevier | August 1990, pp. 1157-1199
  
  출판
- A Theorem on Atomicity in Distributed Algorithms
  
  Leslie Lamport
  
  Distributed Computing. Also appeared as SRC Research Report 28. | August 1990, 제 4 권(2): pp. 59-68
  
  출판
- win and sin: Predicate Transformers for Concurrency
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 17 (May 1987). | July 1990
  
  출판
- Realizable and Unrealizable Specifications of Reactive Systems
  
  Martin Abadi, Leslie Lamport, Pierre Wolper
  
  Automata, Languages and Programming, Springer-Verlag | July 1989, pp. 1-17
  
  출판
- Pretending Atomicity
  
  Leslie Lamport, Fred B. Schneider
  
  SRC Research Report 44 | May 1989
  
  출판
- A Simple Approach to Specifying Concurrent Systems
  
  Leslie Lamport
  
  Proc. of ACM SIGCOMM. Communications of the ACM 32. Also appeared as SRC Research Report 15. | January 1989
  
  출판
- A Lattice-Structured Proof of a Minimum Spanning Tree Algorithm
  
  Jennifer Lundelius Welch, Leslie Lamport, Nancy Lynch
  
  Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing | August 1988
  
  출판
- Another Position Paper on Fairness
  
  Fred B. Schneider, Leslie Lamport
  
  Software Engineering Notes | July 1988, 제 13 권(3): pp. 1-2
  
  출판
- “EWD 1013”
  
  Leslie Lamport
  
  April 1988
  
  출판
- 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
  
  출판
- Synchronizing Time Servers
  
  Leslie Lamport
  
  | August 1987
  
  The ACM Conference on Human Factors in Computing Systems Workshop on Sensemaking (CHI 2008)
  
  출판
- 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
  
  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
  
  출판
- Derivation of a Simple Synchronization Algorithm
  
  Leslie Lamport
  
  February 1987
  
  출판
- The Mutual Exclusion Problem – Part I: A Theory of Interprocess Communication
  
  Leslie Lamport
  
  Journal of the Association for Computing Machinery | January 1986, 제 33 권(2): pp. 313-348
  
  출판
- The Mutual Exclusion Problem – Part II: Statements and Solutions
  
  Leslie Lamport
  
  Journal of the Association for Computing Machinery | January 1986, 제 33 권(2): pp. 313-348
  
  출판
- 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
  
  출판 출판
- A Fast Mutual Exclusion Algorithm
  
  Leslie Lamport
  
  ACM Transactions on Computer Systems 5, 1 (February 1987), 1-11. Also appeared as SRC Research Report 7. | November 1985, pp. 1-11
  
  출판
- 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
  
  출판
- Distributed Snapshots: Determining Global States of a Distributed System
  
  K. Mani Chandy, Leslie Lamport
  
  ACM Transactions on Computer Systems | February 1985, pp. 63-75
  
  출판
- 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
  
  출판
- Synchronizing Clocks in the Presence of Faults
  
  Leslie Lamport, P. M. Melliar-Smith
  
  Journal of the Association for Computing Machinery | January 1985, 제 32 권(1): pp. 52-78
  
  출판
- Buridan’s Principle
  
  Leslie Lamport
  
  Foundations of Physics | October 1984, 제 42 권(8): pp. 1056-1066
  
  출판
- On a “Theorem” of Peterson
  
  Leslie Lamport
  
  October 1984
  
  출판
- Solved Problems, Unsolved Problems and NonProblems in Concurrency
  
  Leslie Lamport
  
  Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing | August 1984
  
  출판
- Byzantine Clock Synchronization
  
  Leslie Lamport, Michael Melliar-Smith
  
  Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing | August 1984
  
  출판
- Recursive Compiling and Programming Environments (Summary)
  
  Leslie Lamport
  
  July 1984 | Rejected from the 1985 POPL Conference 에디션 에디션
  
  Rejected from the 1985 POPL Conference
  
  출판
- 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
  
  출판
- The Hoare Logic Of CSP, and All That
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems | April 1984, pp. 281-296
  
  출판
- Using Time Instead of Timeout for Fault-Tolerant Distributed Systems
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems | April 1984, pp. 254-280
  
  출판
- The Weak Byzantine Generals Problem
  
  Leslie Lamport
  
  Journal of the Association for Computing Machinery | June 1983, 제 30 권(3): pp. 668-676
  
  출판
- What Good Is Temporal Logic?
  
  Leslie Lamport
  
  Information Processing 83, R. E. A. Mason, ed., Elsevier Publishers | May 1983, 제 83 권: pp. 657-668
  
  출판
- Specifying Concurrent Program Modules
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems | April 1983, pp. 190-222
  
  출판
- Reasoning About Nonatomic Operations
  
  Leslie Lamport
  
  Proceedings of the Tenth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1983
  
  출판
- An Assertional Correctness Proof of a Distributed Program
  
  Leslie Lamport
  
  Science of Computer Programming | December 1982, pp. 175-206
  
  출판
- The Byzantine Generals Problem
  
  Leslie Lamport, Robert Shostak, Marshall Pease
  
  ACM Transactions on Programming Languages and Systems | July 1982, pp. 382-401
  
  출판
- Proving Liveness Properties of Concurrent Programs
  
  Leslie Lamport, Susan Owicki
  
  ACM Transactions on Programming Languages and Systems | July 1982, 제 4 권(3): pp. 455-495
  
  출판
- Byzantine Generals and Transaction Commit Protocols
  
  Leslie Lamport, Michael Fischer
  
  April 1982
  
  출판
- Password Authentication with Insecure Communication
  
  Leslie Lamport
  
  Communications of the ACM 24 | November 1981, pp. 770-772
  
  출판
- Reaching Agreement in the Presence of Faults
  
  Marshall Pease, Robert Shostak, Leslie Lamport
  
  Journal of the Association for Computing Machinery 27 | April 1980, 제 2 권
  
  2005 Edsger W. Dijkstra Prize in Distributed Computing
  
  출판
- Sometime’ is Sometimes ‘Not Never’
  
  Leslie Lamport
  
  Proceedings of the Seventh ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1980
  
  출판
- Letter to the Editor
  
  Leslie Lamport
  
  Communications of the ACM 22 | November 1979, 제 11 권: pp. 624
  
  출판
- Constructing Digital Signatures from a One Way Function
  
  Leslie Lamport
  
  CSL-98 | October 1979
  
  This paper was published by IEEE in the Proceedings of HICSS-43 in January, 2010.
  
  출판
- On the Proof of Correctness of a Calendar Program
  
  Leslie Lamport
  
  Communications of the ACM 22 | October 1979, 제 10 권: pp. 554-556
  
  출판
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
  
  Leslie Lamport
  
  IEEE Transactions on Computers C-28 | September 1979, 제 9 권: pp. 690-691
  
  출판
- How to Present a Paper
  
  Leslie Lamport
  
  August 1979
  
  출판
- A New Approach to Proving the Correctness of Multiprocess Programs
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems 1 | July 1979, 제 1 권: pp. 84-97
  
  출판 출판
- On-the-fly Garbage Collection: an Exercise in Cooperation
  
  Edsger W. Dijkstra, Leslie Lamport, A. J. Martin, C. S. Scholten, E. F. M. Steffens
  
  Communications of the ACM 21 | November 1978, 제 11 권: pp. 966-975
  
  출판
- SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control
  
  John H. Wensley, Leslie Lamport, Jack Goldberg, Milton W. Green, Karl N. Levitt, P. M. Melliar-Smith, Robert E. Shostak, Charles B. Weinstock
  
  Proceedings of the IEEE 66 | October 1978
  
  출판
- The Implementation of Reliable Distributed Multiprocess Systems
  
  Leslie Lamport
  
  Computer Networks | August 1978, 제 2 권: pp. 95-114
  
  출판
- Time, Clocks and the Ordering of Events in a Distributed System
  
  Leslie Lamport
  
  Communications of the ACM 21, 7 (July 1978), 558-565. Reprinted in several collections, including Distributed Computing: Concepts and Implementations, McEntire et al., ed. IEEE Press, 1984. | July 1978, pp. 558-565
  
  2000 PODC Influential Paper Award (later renamed the Edsger W. Dijkstra Prize in Distributed Computing). Also awarded an ACM SIGOPS Hall of Fame Award in 2007.
  
  출판
- State the Problem Before Describing the Solution
  
  Leslie Lamport
  
  ACM SIGSOFT Software Engineering Notes | January 1978, pp. 26
  
  출판
- On Concurrent Reading and Writing
  
  Leslie Lamport
  
  Communications of the ACM 20 | November 1977, 제 11 권: pp. 806-811
  
  출판
- Proving the Correctness of Multiprocess Programs
  
  Leslie Lamport
  
  IEEE Transactions on Software Engineering SE-3 | March 1977, 제 2 권: pp. 125-143
  
  출판
- How to Tell a Program from an Automobile
  
  Leslie Lamport
  
  In A Dynamic and Quick Intellect, John Tromp editor (1996)--a Liber Amicorum issued by the CWI in honor of Paul Vitanyi's 25-year jubilee. | January 1977
  
  출판
- Comment on Bell’s Quadratic Quotient Algorithm
  
  Leslie Lamport
  
  Communications of the ACM | September 1970, 제 13 권(9)
  
  출판
- On the Glitch Phenomenon
  
  Leslie Lamport, Richard Palais
  
  November 1976 | Rejected by IEEE Transactions on Computers (November 1976). 에디션 에디션
  
  Rejected by IEEE Transactions on Computers (November 1976).
  
  출판
- Multiple Byte Processing with Full-Word Instructions
  
  Leslie Lamport
  
  Communications of the ACM | August 1975, 제 18 권(8): pp. 471-475
  
  출판
- On Self-stabilizing Systems
  
  Leslie Lamport
  
  CA 7412-0511 | December 1974
  
  출판
- A New Solution of Dijkstra’s Concurrent Programming Problem
  
  Leslie Lamport
  
  Communications of the ACM 17 | August 1974
  
  출판
- Who Builds a House without Drawing Blueprints?
  
  Leslie Lamport
  
  Communications of the ACM | April 2015, 제 58 권(4): pp. 38-41
  
  출판 출판
- Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
  
  Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
  
  Proceedings of the Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARNL 2014) | May 2014
  
  출판
- Adaptive Register Allocation with a Linear Number of Registers
  
  Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport
  
  Proceedings of the 27th International Symposium on Distributed Computing (DISC 2013) | August 2013
  
  출판
- Why We Should Build Software Like We Build Houses
  
  Leslie Lamport
  
  Wired | January 2013
  
  출판
- TLA+ Proofs
  
  Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernan Vanzetto
  
  Proceedings of the 18th International Symposium on Formal Methods (FM 2012), Dimitra Giannakopoulou and Dominique Mery, editors. Springer-Verlag Lecture Notes in Computer Science | January 2012, 제 7436 권: pp. 147-154
  
  출판
- Leaderless Byzantine Paxos
  
  Leslie Lamport
  
  Distributed Computing: 25th International Symposium: DISC 2011, David Peleg, editor. | December 2011, pp. 141-142
  
  출판
- How to Write a 21st Century Proof
  
  Leslie Lamport
  
  Journal of Fixed Point Theory and Applications | November 2011
  
  출판 출판
- Byzantizing Paxos by Refinement
  
  Leslie Lamport
  
  Distributed Computing: 25th International Symposium: DISC 2011, David Peleg, editor. Springer-Verlag. | June 2011, pp. 211-224
  
  출판
- Euclid Writes an Algorithm: A Fairytale
  
  Leslie Lamport
  
  International Journal of Software and Informatics 5, 1-2 (2011) | June 2011, 제 1 권: pp. 7-20
  
  출판
- Verifying Safety Properties With the TLA+ Proof System
  
  Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
  
  Fifth International Joint Conference on Automated Reasoning (IJCAR), Edinburgh, UK. | July 2010
  
  출판
- Computer Science and State Machines
  
  Leslie Lamport
  
  Concurrency, Compositionality, and Correctness (Essays in Honor of Willem-Paul de Roever). Dennis Dams, Ulrich Hannemann, and Martin Steffen editors. Lecture Notes in Computer Science, number 5930 (2010), 60-65. | June 2010, pp. 60-65
  
  출판
- Vertical Paxos and Primary-Backup Replication
  
  Leslie Lamport, Dahlia Malkhi, Lidong Zhou
  
  The ACM Symposium on Principles of Distributed Computing (PODC 2009) | February 2009
  
  출판 출판
- Teaching Concurrency
  
  Leslie Lamport
  
  ACM SIGACT News | January 2009, 제 40 권(1): pp. 58-62
  
  출판
- The PlusCal Algorithm Language
  
  Leslie Lamport
  
  Theoretical Aspects of Computing-ICTAC 2009, Martin Leucker and Carroll Morgan editors. Lecture Notes in Computer Science, number 5684, 36-60. | January 2009
  
  출판
- The Mailbox Problem
  
  Leslie Lamport, Eli Gafni, Marcos K. Aguilera
  
  Proceedings of the International Symposium on Distributed Computing | September 2008
  
  출판 출판
- A TLA+ Proof System
  
  Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
  
  Proceedings of the LPAR Workshops, CEUR Workshop | August 2008
  
  출판
- Leslie Lamport: The Specification Language TLA+
  
  Leslie Lamport
  
  In Logics of Specification Languages | 2008 | In Logics of Specification Languages, Dines Bjørner and Martin C. Henson, editors. edition
  
  편집자: Dines Bjarner and Martin C. Henson
  
  출판 출판
- Computation and State Machines
  
  Leslie Lamport
  
  April 2008
  
  출판
- Stoppable Paxos
  
  Dahlia Malkhi, Leslie Lamport, Lidong Zhou
  
  MSR-TR-2008-192 | April 2008
  
  출판
- Implementing Dataflow With Threads
  
  Leslie Lamport
  
  MSR-TR-2006-181 | December 2006
  
  출판
- Fast Paxos
  
  Leslie Lamport
  
  Distributed Computing | October 2006, 제 19 권: pp. 79-103
  
  출판
- Checking a Multithreaded Algorithm with +CAL
  
  Leslie Lamport
  
  International Symposium on Distributed Computing (DISC) | September 2006
  
  출판
- How Fast Can Eventual Synchrony Lead to Consensus?
  
  Partha Dutta, Rachid Guerraoui, Leslie Lamport
  
  Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005) | June 2005
  
  출판
- Generalized Consensus and Paxos
  
  Leslie Lamport
  
  MSR-TR-2005-33 | March 2005
  
  출판
- Implementing and Combining Specifications
  
  Leslie Lamport
  
  September 2004
  
  출판
- Lower Bounds for Asynchronous Consensus
  
  Leslie Lamport
  
  MSR-TR-2004-72 | July 2004
  
  출판 출판
- Cheap Paxos
  
  Leslie Lamport, Mike Massa
  
  International Conference on Dependable Systems and Networks (DSN 2004) | June 2004
  
  출판
- Consensus on Transaction Commit
  
  Jim Gray, Leslie Lamport
  
  MSR-TR-2003-96 | January 2004
  
  글쓴이 Microsoft
  
  ACM Transactions on Database Systems 31, 1 (2006), 133-160
  
  Publication
- The Future of Computing: Logic or Biology
  
  Leslie Lamport
  
  July 2003
  
  출판
- Disk Paxos
  
  Eli Gafni, Leslie Lamport
  
  Distributed Computing: 14th International Conference, DISC 2000, Maurice Herlihy, editor. Lecture Notes in Computer Science number 1914, Springer-Verlag, (2000) 330-344. | May 2003
  
  출판 출판
- A Discussion With Leslie Lamport
  
  Leslie Lamport, Dejan Milojicic
  
  August 2002
  
  An interview in IEEE Distributed Systems Online 3, 8
  
  출판
- Paxos Made Simple
  
  Leslie Lamport
  
  ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole Number 121, December 2001) | December 2001, pp. 51-58
  
  출판
- What Process Algebra Proofs Use Instead of Invariance
  
  Leslie Lamport
  
  January 1995
  
  출판
- The Analytic Cauchy Problem with Singular Data
  
  Leslie Lamport
  
  May 1972
  
  박사학위논문: Brandeis University | May 1972
  
  출판
- The Parallel Execution of DO Loops
  
  Leslie Lamport
  
  Communications of the ACM 17 | February 1974, 제 2 권: pp. 83-93
  
  출판
- An Extension of a Theorem of Hamada on the Cauchy Problem with Singular Data
  
  Leslie Lamport
  
  American Mathematical Society | July 1973, 제 174 권(4): pp. 776
  
  출판
- Arbiter-Free Synchronization
  
  Leslie Lamport
  
  Distributed Computing | March 2002, 제 16 권(3): pp. 219-237
  
  출판 출판
- Braid Theory
  
  Leslie Lamport, Jackson Wright, Neal Plotkin, Robert Teitel, Martin Wenglinsky
  
  November 1957
  
  출판
- An Old-Fashioned Recipe for Real Time
  
  Martin Abadi, Leslie Lamport
  
  Proceedings of REX Workshop "Real-Time: Theory in Practice", Mook, The Netherlands, June 1991 | January 1992
  
  출판
- A General Construction for Expressing Repetition
  
  Leslie Lamport
  
  ACM SIGPLAN Notices 14 | March 1979, 제 3 권: pp. 38-42
  
  출판
- Generalized Consensus and Paxos
  
  Leslie Lamport
  
  MSR-TR-2005-33 | March 2005
  
  출판
- Formal Specification of a Web Services Protocol
  
  James E. Johnson, David Langworthy, Leslie Lamport, Friedrich H. Vogt
  
  First International Workshop on Web Services and Formal Methods (WS-FM 2004) | February 2004
  
  출판
- High-Level Specifications: Lessons from Industry
  
  Brannon Batson, Leslie Lamport
  
  Formal Methods for Components and Objects | March 2003
  
  출판 출판
- Specifying and verifying systems with TLA+
  
  Leslie Lamport, John Matthews, Mark Tuttle, Yuan Yu
  
  Proceedings of the Tenth ACM SIGOPS European Workshop | September 2002
  
  출판 출판
- Summer Vision Programs
  
  Leslie Lamport
  
  October 1966
  
  Massachusetts Institute of Technology, Project MAC Memorandum MAC-M-332, Artificial Intelligence Project Memo Number Vision 111
  
  출판
- The Temporal Logic of Actions
  
  Leslie Lamport
  
  79 | May 1994
  
  글쓴이 Microsoft
  
  ACM Transactions on Programming Languages and Systems 16
  
  Publication
- The Existence of Refinement Mappings
  
  Martin Abadi, Leslie Lamport
  
  Proceedings of the 3rd Annual Symposium on Logic in Computer Science | July 1988
  
  LICS 1988 Test of Time Award
  
  출판
- Vertical Paxos and Primary-Backup Replication
  
  Leslie Lamport, Dahlia Malkhi, Lidong Zhou
  
  MSR-TR-2009-63 | May 2009
  
  출판
- Vertical Paxos and Primary-Backup Replication
  
  Leslie Lamport, Dahlia Malkhi, Lidong Zhou
  
  The ACM Symposium on Principles of Distributed Computing (PODC 2009) | February 2009
  
  출판 출판
- Reconfiguring a State Machine
  
  Leslie Lamport, Dahlia Malkhi, Lidong Zhou
  
  MSR-TR-2008-193 | February 2008
  
  출판
- Checking a Multithreaded Algorithm with +CAL
  
  Leslie Lamport
  
  International Symposium on Distributed Computing (DISC) | September 2006
  
  출판
- Chapter in Software Specification Methods: An Overview Using a Case Study
  
  Leslie Lamport
  
  Software Specification Methods: An Overview Using a Case Study, TLA+ | 글쓴이 Hermes | 2006
  
  출판
- Real-Time Model Checking is Really Simple
  
  Leslie Lamport
  
  13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods | June 2005
  
  출판
- Real Time is Really Simple
  
  Leslie Lamport
  
  MSR-TR-2005-30 | March 2005
  
  출판
- Cheap Paxos
  
  Leslie Lamport, Mike Massa
  
  International Conference on Dependable Systems and Networks (DSN 2004) | June 2004
  
  출판
- Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
  
  Leslie Lamport
  
  Published by Addison-Wesley | June 2002
  
  출판
- Arbiter-Free Synchronization
  
  Leslie Lamport
  
  Distributed Computing | March 2002, 제 16 권(3): pp. 219-237
  
  출판 출판
- Measuring Celebrity
  
  Leslie Lamport
  
  Annals of Improbable Research | January 2006, 제 12 권: pp. 14-15
  
  출판
- On Hair Color in France
  
  Ellen Gilkerson, Leslie Lamport
  
  January 2004
  
  출판
- On Hair Color in France
  
  Ellen Gilkerson, Leslie Lamport
  
  January 2004
  
  출판
- Checking Cache-Coherence Protocols with TLA+
  
  Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark Tuttle, Yuan Yu
  
  Journal of Formal Methods in System Design | March 2003, 제 22 권: pp. 125-131
  
  출판

- The Wildfire Challenge Problem
  
  Leslie Lamport, Madhu Sharma, Mark Tuttle, Yuan Yu
  
  January 2001
  
  출판
- When Does a Correct Mutual Exclusion Algorithm Guarantee Mutual Exclusion
  
  Leslie Lamport, Sharon Perl, William Weihl
  
  Information Processing Letters | March 2000, 제 76 권(3): pp. 131-134
  
  출판
- How (La)TeX changed the face of Mathematics
  
  Leslie Lamport
  
  Mitteilungen der Deutschen Mathematiker-Vereinigung | January 2000, pp. 49-51
  
  출판
- Should Your Specification Language Be Typed?
  
  Leslie Lamport, Lawrence C. Paulson
  
  ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 147. | May 1999, 제 31 권(3): pp. 502-526
  
  출판
- Specifying Concurrent Systems with TLA+
  
  Leslie Lamport
  
  Calculational System Design | April 1999, pp. 183-247
  
  출판
- A Lazy Caching Proof in TLA
  
  Peter Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel
  
  Distributed Computing 12 | April 1999, 제 2 권(3): pp. 151-174
  
  출판
- TLA+ Verification of Cache-Coherence Protocols
  
  Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Mark Tuttle, Yuan Yu, Joshua Scheid
  
  February 1999
  
  출판
- The Part-Time Parliament
  
  Leslie Lamport
  
  ACM Transactions on Computer Systems 16, 2 (May 1998), 133-169. Also appeared as SRC Research Report 49. This paper was first submitted in 1990, setting a personal record for publication delay that has since been broken by [60]. | May 1998
  
  ACM SIGOPS Hall of Fame Award in 2012
  
  출판
- Proving Possibility Properties
  
  Leslie Lamport
  
  Theoretical Computer Science. Also appeared as SRC Research Report 137. | March 1998, 제 206 권(2): pp. 341-352
  
  출판
- A TLA Solution to the RPC-Memory Specification Problem
  
  Martin Abadi, Leslie Lamport, Stephan Merz
  
  Formal Systems Specification: The RPC-Memory Specification Case Study, Manfred Broy, Stephan Merz, and Katharina Spies editors. Lecture Notes in Computer Science, number 1169, (1996), 21-66. | November 1996
  
  출판
- The RPC-Memory Specification Problem: Problem Statement
  
  Manfred Broy, Leslie Lamport
  
  Formal Systems Specification: The RPC-Memory Specification Case Study, Manfred Broy, Stephan Merz, and Katharina Spies editors. Lecture Notes in Computer Science. | August 1996, 제 1169 권: pp. 1-4
  
  출판
- TLA in Pictures
  
  Leslie Lamport
  
  IEEE Transactions on Software Engineering | September 1995, 제 21 권(9): pp. 768-775
  
  출판
- How to Write a Proof
  
  Leslie Lamport
  
  American Mathematical Monthly. Also appeared in Global Analysis in Modern Mathematics, Karen Uhlenbeck, editor. Publish or Perish Press, Houston. Also appeared as SRC Research Report 94. | August 1995, 제 102 권(7): pp. 600-608
  
  출판
- Conjoining Specifications
  
  Martin Abadi, Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 118. | May 1995, 제 17 권(3): pp. 507-534
  
  출판
- Processes are in the Eye of the Beholder
  
  Leslie Lamport
  
  Theoretical Computer Science SRC Research Report 132 | December 1994, 제 179 권: pp. 333-351
  
  출판
- How to Write a Long Formula
  
  Leslie Lamport
  
  FACJ 6(5) (September/October 1994) 580-584. Also appeared as SRC Research Report 119. | September 1994
  
  출판
- Composing Specifications
  
  Leslie Lamport, Martin Abadi
  
  ACM Transactions on Programming Languages and Systems 15, 1 (January 1993), 73-132. Also appeared as SRC Research Report 66. A preliminary version appeared in Stepwise Refinement of Distributed Systems, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors, Springer-Verlag Lecture Notes in Computer Science Volume 430 (1989), 1-41. | July 1993
  
  출판
- How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor
  
  Leslie Lamport
  
  IEEE Transactions on Computers SRC Research Report 96 | February 1993, 제 46 권(7): pp. 779-782
  
  출판
- Critique of the Lake Arrowhead Three
  
  Leslie Lamport
  
  Distributed Computing | August 1992, pp. 65-71
  
  출판
- Preserving Liveness: Comments on “Safety and Liveness from a Methodological Point of View”
  
  Martin Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider
  
  Information Processing Letters | November 1991, 제 40 권(3): pp. 141-142
  
  출판
- The Concurrent Reading and Writing of Clocks
  
  Leslie Lamport
  
  ACM Transactions on Computer Systems. Also appeared as SRC Research Report 27. | November 1990, pp. 305-310
  
  출판
- The Mutual Exclusion Problem Has Been Solved
  
  Leslie Lamport
  
  Communications of the ACM | September 1990, 제 34 권(1): pp. 110
  
  출판
- Distributed Computing: Models and Methods
  
  Leslie Lamport, Nancy Lynch
  
  Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, Jan van Leeuwen, editor, Elsevier | August 1990, pp. 1157-1199
  
  출판
- A Theorem on Atomicity in Distributed Algorithms
  
  Leslie Lamport
  
  Distributed Computing. Also appeared as SRC Research Report 28. | August 1990, 제 4 권(2): pp. 59-68
  
  출판
- Realizable and Unrealizable Specifications of Reactive Systems
  
  Martin Abadi, Leslie Lamport, Pierre Wolper
  
  Automata, Languages and Programming, Springer-Verlag | July 1989, pp. 1-17
  
  출판
- Pretending Atomicity
  
  Leslie Lamport, Fred B. Schneider
  
  SRC Research Report 44 | May 1989
  
  출판
- Another Position Paper on Fairness
  
  Fred B. Schneider, Leslie Lamport
  
  Software Engineering Notes | July 1988, 제 13 권(3): pp. 1-2
  
  출판
- 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
  
  출판
- 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
  
  출판
- 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
  
  출판
- Derivation of a Simple Synchronization Algorithm
  
  Leslie Lamport
  
  February 1987
  
  출판
- The Mutual Exclusion Problem – Part I: A Theory of Interprocess Communication
  
  Leslie Lamport
  
  Journal of the Association for Computing Machinery | January 1986, 제 33 권(2): pp. 313-348
  
  출판
- The Mutual Exclusion Problem – Part II: Statements and Solutions
  
  Leslie Lamport
  
  Journal of the Association for Computing Machinery | January 1986, 제 33 권(2): pp. 313-348
  
  출판
- 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
  
  출판 출판
- A Fast Mutual Exclusion Algorithm
  
  Leslie Lamport
  
  ACM Transactions on Computer Systems 5, 1 (February 1987), 1-11. Also appeared as SRC Research Report 7. | November 1985, pp. 1-11
  
  출판
- 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
  
  출판
- Distributed Snapshots: Determining Global States of a Distributed System
  
  K. Mani Chandy, Leslie Lamport
  
  ACM Transactions on Computer Systems | February 1985, pp. 63-75
  
  출판
- Synchronizing Clocks in the Presence of Faults
  
  Leslie Lamport, P. M. Melliar-Smith
  
  Journal of the Association for Computing Machinery | January 1985, 제 32 권(1): pp. 52-78
  
  출판
- Buridan’s Principle
  
  Leslie Lamport
  
  Foundations of Physics | October 1984, 제 42 권(8): pp. 1056-1066
  
  출판
- The Hoare Logic Of CSP, and All That
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems | April 1984, pp. 281-296
  
  출판
- Using Time Instead of Timeout for Fault-Tolerant Distributed Systems
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems | April 1984, pp. 254-280
  
  출판
- The Weak Byzantine Generals Problem
  
  Leslie Lamport
  
  Journal of the Association for Computing Machinery | June 1983, 제 30 권(3): pp. 668-676
  
  출판
- What Good Is Temporal Logic?
  
  Leslie Lamport
  
  Information Processing 83, R. E. A. Mason, ed., Elsevier Publishers | May 1983, 제 83 권: pp. 657-668
  
  출판
- Specifying Concurrent Program Modules
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems | April 1983, pp. 190-222
  
  출판
- An Assertional Correctness Proof of a Distributed Program
  
  Leslie Lamport
  
  Science of Computer Programming | December 1982, pp. 175-206
  
  출판
- The Byzantine Generals Problem
  
  Leslie Lamport, Robert Shostak, Marshall Pease
  
  ACM Transactions on Programming Languages and Systems | July 1982, pp. 382-401
  
  출판
- Proving Liveness Properties of Concurrent Programs
  
  Leslie Lamport, Susan Owicki
  
  ACM Transactions on Programming Languages and Systems | July 1982, 제 4 권(3): pp. 455-495
  
  출판
- Password Authentication with Insecure Communication
  
  Leslie Lamport
  
  Communications of the ACM 24 | November 1981, pp. 770-772
  
  출판
- Reaching Agreement in the Presence of Faults
  
  Marshall Pease, Robert Shostak, Leslie Lamport
  
  Journal of the Association for Computing Machinery 27 | April 1980, 제 2 권
  
  2005 Edsger W. Dijkstra Prize in Distributed Computing
  
  출판
- Letter to the Editor
  
  Leslie Lamport
  
  Communications of the ACM 22 | November 1979, 제 11 권: pp. 624
  
  출판
- On the Proof of Correctness of a Calendar Program
  
  Leslie Lamport
  
  Communications of the ACM 22 | October 1979, 제 10 권: pp. 554-556
  
  출판
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
  
  Leslie Lamport
  
  IEEE Transactions on Computers C-28 | September 1979, 제 9 권: pp. 690-691
  
  출판
- A New Approach to Proving the Correctness of Multiprocess Programs
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems 1 | July 1979, 제 1 권: pp. 84-97
  
  출판 출판
- A General Construction for Expressing Repetition
  
  Leslie Lamport
  
  ACM SIGPLAN Notices 14 | March 1979, 제 3 권: pp. 38-42
  
  출판
- On-the-fly Garbage Collection: an Exercise in Cooperation
  
  Edsger W. Dijkstra, Leslie Lamport, A. J. Martin, C. S. Scholten, E. F. M. Steffens
  
  Communications of the ACM 21 | November 1978, 제 11 권: pp. 966-975
  
  출판
- The Implementation of Reliable Distributed Multiprocess Systems
  
  Leslie Lamport
  
  Computer Networks | August 1978, 제 2 권: pp. 95-114
  
  출판
- Time, Clocks and the Ordering of Events in a Distributed System
  
  Leslie Lamport
  
  Communications of the ACM 21, 7 (July 1978), 558-565. Reprinted in several collections, including Distributed Computing: Concepts and Implementations, McEntire et al., ed. IEEE Press, 1984. | July 1978, pp. 558-565
  
  2000 PODC Influential Paper Award (later renamed the Edsger W. Dijkstra Prize in Distributed Computing). Also awarded an ACM SIGOPS Hall of Fame Award in 2007.
  
  출판
- State the Problem Before Describing the Solution
  
  Leslie Lamport
  
  ACM SIGSOFT Software Engineering Notes | January 1978, pp. 26
  
  출판
- On Concurrent Reading and Writing
  
  Leslie Lamport
  
  Communications of the ACM 20 | November 1977, 제 11 권: pp. 806-811
  
  출판
- Proving the Correctness of Multiprocess Programs
  
  Leslie Lamport
  
  IEEE Transactions on Software Engineering SE-3 | March 1977, 제 2 권: pp. 125-143
  
  출판
- How to Tell a Program from an Automobile
  
  Leslie Lamport
  
  In A Dynamic and Quick Intellect, John Tromp editor (1996)--a Liber Amicorum issued by the CWI in honor of Paul Vitanyi's 25-year jubilee. | January 1977
  
  출판
- Comment on Bell’s Quadratic Quotient Algorithm
  
  Leslie Lamport
  
  Communications of the ACM | September 1970, 제 13 권(9)
  
  출판
- Multiple Byte Processing with Full-Word Instructions
  
  Leslie Lamport
  
  Communications of the ACM | August 1975, 제 18 권(8): pp. 471-475
  
  출판
- Who Builds a House without Drawing Blueprints?
  
  Leslie Lamport
  
  Communications of the ACM | April 2015, 제 58 권(4): pp. 38-41
  
  출판 출판
- Why We Should Build Software Like We Build Houses
  
  Leslie Lamport
  
  Wired | January 2013
  
  출판
- TLA+ Proofs
  
  Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernan Vanzetto
  
  Proceedings of the 18th International Symposium on Formal Methods (FM 2012), Dimitra Giannakopoulou and Dominique Mery, editors. Springer-Verlag Lecture Notes in Computer Science | January 2012, 제 7436 권: pp. 147-154
  
  출판
- Leaderless Byzantine Paxos
  
  Leslie Lamport
  
  Distributed Computing: 25th International Symposium: DISC 2011, David Peleg, editor. | December 2011, pp. 141-142
  
  출판
- How to Write a 21st Century Proof
  
  Leslie Lamport
  
  Journal of Fixed Point Theory and Applications | November 2011
  
  출판 출판
- Byzantizing Paxos by Refinement
  
  Leslie Lamport
  
  Distributed Computing: 25th International Symposium: DISC 2011, David Peleg, editor. Springer-Verlag. | June 2011, pp. 211-224
  
  출판
- Euclid Writes an Algorithm: A Fairytale
  
  Leslie Lamport
  
  International Journal of Software and Informatics 5, 1-2 (2011) | June 2011, 제 1 권: pp. 7-20
  
  출판
- The Parallel Execution of DO Loops
  
  Leslie Lamport
  
  Communications of the ACM 17 | February 1974, 제 2 권: pp. 83-93
  
  출판
- Computer Science and State Machines
  
  Leslie Lamport
  
  Concurrency, Compositionality, and Correctness (Essays in Honor of Willem-Paul de Roever). Dennis Dams, Ulrich Hannemann, and Martin Steffen editors. Lecture Notes in Computer Science, number 5930 (2010), 60-65. | June 2010, pp. 60-65
  
  출판
- Teaching Concurrency
  
  Leslie Lamport
  
  ACM SIGACT News | January 2009, 제 40 권(1): pp. 58-62
  
  출판
- The PlusCal Algorithm Language
  
  Leslie Lamport
  
  Theoretical Aspects of Computing-ICTAC 2009, Martin Leucker and Carroll Morgan editors. Lecture Notes in Computer Science, number 5684, 36-60. | January 2009
  
  출판
- Fast Paxos
  
  Leslie Lamport
  
  Distributed Computing | October 2006, 제 19 권: pp. 79-103
  
  출판
- Measuring Celebrity
  
  Leslie Lamport
  
  Annals of Improbable Research | January 2006, 제 12 권: pp. 14-15
  
  출판
- An Extension of a Theorem of Hamada on the Cauchy Problem with Singular Data
  
  Leslie Lamport
  
  American Mathematical Society | July 1973, 제 174 권(4): pp. 776
  
  출판
- Implementing and Combining Specifications
  
  Leslie Lamport
  
  September 2004
  
  출판
- Checking Cache-Coherence Protocols with TLA+
  
  Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark Tuttle, Yuan Yu
  
  Journal of Formal Methods in System Design | March 2003, 제 22 권: pp. 125-131
  
  출판
- Arbiter-Free Synchronization
  
  Leslie Lamport
  
  Distributed Computing | March 2002, 제 16 권(3): pp. 219-237
  
  출판 출판
- Paxos Made Simple
  
  Leslie Lamport
  
  ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole Number 121, December 2001) | December 2001, pp. 51-58
  
  출판
- Braid Theory
  
  Leslie Lamport, Jackson Wright, Neal Plotkin, Robert Teitel, Martin Wenglinsky
  
  November 1957
  
  출판
- Fairness and Hyperfairness
  
  Leslie Lamport
  
  Distributed Computing. Also appeared as SRC Research Report 152. A preliminary version of this paper was rejected by Concur 99. | May 2000
  
  출판
- Archival References to Web Pages
  
  Leslie Lamport
  
  Ninth International World Wide Web Conference: Poster Proceedings | May 2000
  
  출판
- Model Checking TLA+ Specifications
  
  Yuan Yu, Panagiotis Manolios, Leslie Lamport
  
  In Correct Hardware Design and Verification Methods (CHARME '99), Laurence Pierre and Thomas Kropf editors. Lecture Notes in Computer Science, Springer-Verlag. | June 1999
  
  출판
- Reduction in TLA
  
  Leslie Lamport, Ernie Cohen
  
  CONCUR'98 Concurrency Theory, David Sangiorgi and Robert de Simone editors. Lecture Notes in Computer Science. | May 1998
  
  출판 출판
- Composition: A Way to Make Proofs Harder
  
  Leslie Lamport
  
  Compositionality: The Significant Difference (Proceedings of the COMPOS'97 Symposium), Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli editors. Lecture Notes in Computer Science. | December 1997
  
  출판
- Open Systems in TLA
  
  Martin Abadi, Leslie Lamport
  
  Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing | August 1994
  
  출판
- Decomposing Specifications of Concurrent Systems
  
  Leslie Lamport, Martin Abadi
  
  Programming Concepts, Methods and Calculi, Ernst-RÃ¼diger Olderog editor. (Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet '94, San Miniato, Italy.) North-Holland | August 1994
  
  출판
- Specifying and Verifying Fault-Tolerant Systems
  
  Leslie Lamport
  
  Formal Techniques in Real-Time and Fault-Tolerant Systems, H. Langmaack, W.-P. de Roever, J. Vytopil editors. Lecture Notes in Computer Science, Springer-Verlag | July 1994
  
  출판
- TLZ (Abstract)
  
  Leslie Lamport
  
  Z User's Workshop, Cambridge. J.P. Bowen and J.A. Hall (Eds.) | May 1994
  
  출판
- Verification of a Multiplier: 64 Bits and Beyond
  
  Leslie Lamport
  
  Computer-Aided Verification, Costas Courcoubetis, editor. (Proceedings of the Fifth International Conference, CAV'93.) Lecture Notes in Computer Science, number 697, Springer-Verlag (June, 1993), 166-179. | July 1993
  
  출판
- Verification and Specification of Concurrent Programs
  
  Leslie Lamport
  
  A Decade of Concurrency: Reflections and Perspectives, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors. Lecture Notes in Computer Science, number 803, Springer-Verlag, (June, 1993) 347-374. | June 1993
  
  출판
- Mechanical Verification of Concurrent Systems with TLA
  
  Urban Engberg, Peter Gronning, Leslie Lamport
  
  Computer-Aided Verification, G. v. Bochmann and D. K. Probst editors. (Proceedings of the Fourth International Conference, CAV'92.) Lecture Notes in Computer Science, number 663, Springer-Verlag, (June, 1992) 44-55. | June 1992
  
  출판
- An Old-Fashioned Recipe for Real Time
  
  Martin Abadi, Leslie Lamport
  
  Proceedings of REX Workshop "Real-Time: Theory in Practice", Mook, The Netherlands, June 1991 | January 1992
  
  출판
- win and sin: Predicate Transformers for Concurrency
  
  Leslie Lamport
  
  ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 17 (May 1987). | July 1990
  
  출판
- A Simple Approach to Specifying Concurrent Systems
  
  Leslie Lamport
  
  Proc. of ACM SIGCOMM. Communications of the ACM 32. Also appeared as SRC Research Report 15. | January 1989
  
  출판
- A Lattice-Structured Proof of a Minimum Spanning Tree Algorithm
  
  Jennifer Lundelius Welch, Leslie Lamport, Nancy Lynch
  
  Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing | August 1988
  
  출판
- The Existence of Refinement Mappings
  
  Martin Abadi, Leslie Lamport
  
  Proceedings of the 3rd Annual Symposium on Logic in Computer Science | July 1988
  
  LICS 1988 Test of Time Award
  
  출판
- 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
  
  출판
- Solved Problems, Unsolved Problems and NonProblems in Concurrency
  
  Leslie Lamport
  
  Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing | August 1984
  
  출판
- Byzantine Clock Synchronization
  
  Leslie Lamport, Michael Melliar-Smith
  
  Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing | August 1984
  
  출판
- 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
  
  출판
- Reasoning About Nonatomic Operations
  
  Leslie Lamport
  
  Proceedings of the Tenth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1983
  
  출판
- Sometime’ is Sometimes ‘Not Never’
  
  Leslie Lamport
  
  Proceedings of the Seventh ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1980
  
  출판
- SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control
  
  John H. Wensley, Leslie Lamport, Jack Goldberg, Milton W. Green, Karl N. Levitt, P. M. Melliar-Smith, Robert E. Shostak, Charles B. Weinstock
  
  Proceedings of the IEEE 66 | October 1978
  
  출판
- A New Solution of Dijkstra’s Concurrent Programming Problem
  
  Leslie Lamport
  
  Communications of the ACM 17 | August 1974
  
  출판
- Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
  
  Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
  
  Proceedings of the Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARNL 2014) | May 2014
  
  출판
- Adaptive Register Allocation with a Linear Number of Registers
  
  Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport
  
  Proceedings of the 27th International Symposium on Distributed Computing (DISC 2013) | August 2013
  
  출판
- Verifying Safety Properties With the TLA+ Proof System
  
  Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
  
  Fifth International Joint Conference on Automated Reasoning (IJCAR), Edinburgh, UK. | July 2010
  
  출판
- Vertical Paxos and Primary-Backup Replication
  
  Leslie Lamport, Dahlia Malkhi, Lidong Zhou
  
  The ACM Symposium on Principles of Distributed Computing (PODC 2009) | February 2009
  
  출판 출판
- The Mailbox Problem
  
  Leslie Lamport, Eli Gafni, Marcos K. Aguilera
  
  Proceedings of the International Symposium on Distributed Computing | September 2008
  
  출판 출판
- A TLA+ Proof System
  
  Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
  
  Proceedings of the LPAR Workshops, CEUR Workshop | August 2008
  
  출판
- Checking a Multithreaded Algorithm with +CAL
  
  Leslie Lamport
  
  International Symposium on Distributed Computing (DISC) | September 2006
  
  출판
- Real-Time Model Checking is Really Simple
  
  Leslie Lamport
  
  13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods | June 2005
  
  출판
- How Fast Can Eventual Synchrony Lead to Consensus?
  
  Partha Dutta, Rachid Guerraoui, Leslie Lamport
  
  Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005) | June 2005
  
  출판
- Cheap Paxos
  
  Leslie Lamport, Mike Massa
  
  International Conference on Dependable Systems and Networks (DSN 2004) | June 2004
  
  출판
- Formal Specification of a Web Services Protocol
  
  James E. Johnson, David Langworthy, Leslie Lamport, Friedrich H. Vogt
  
  First International Workshop on Web Services and Formal Methods (WS-FM 2004) | February 2004
  
  출판
- On Hair Color in France
  
  Ellen Gilkerson, Leslie Lamport
  
  January 2004
  
  출판
- Disk Paxos
  
  Eli Gafni, Leslie Lamport
  
  Distributed Computing: 14th International Conference, DISC 2000, Maurice Herlihy, editor. Lecture Notes in Computer Science number 1914, Springer-Verlag, (2000) 330-344. | May 2003
  
  출판 출판
- High-Level Specifications: Lessons from Industry
  
  Brannon Batson, Leslie Lamport
  
  Formal Methods for Components and Objects | March 2003
  
  출판 출판
- Specifying and verifying systems with TLA+
  
  Leslie Lamport, John Matthews, Mark Tuttle, Yuan Yu
  
  Proceedings of the Tenth ACM SIGOPS European Workshop | September 2002
  
  출판 출판
- Lower Bounds on Consensus
  
  Leslie Lamport
  
  March 2000
  
  출판
- Marching to Many Distant Drummers
  
  Leslie Lamport, Timothy Mann
  
  May 1997
  
  출판
- What Process Algebra Proofs Use Instead of Invariance
  
  Leslie Lamport
  
  January 1995
  
  출판
- Adding “Process Algebra” to TLA
  
  Leslie Lamport
  
  January 1995
  
  출판
- The Reduction Theorem
  
  Leslie Lamport
  
  April 1992
  
  출판
- A Completeness Theorem for TLA
  
  Leslie Lamport
  
  October 1990
  
  출판
- “EWD 1013”
  
  Leslie Lamport
  
  April 1988
  
  출판
- On a “Theorem” of Peterson
  
  Leslie Lamport
  
  October 1984
  
  출판
- Recursive Compiling and Programming Environments (Summary)
  
  Leslie Lamport
  
  July 1984 | Rejected from the 1985 POPL Conference 에디션 에디션
  
  Rejected from the 1985 POPL Conference
  
  출판
- Byzantine Generals and Transaction Commit Protocols
  
  Leslie Lamport, Michael Fischer
  
  April 1982
  
  출판
- How to Present a Paper
  
  Leslie Lamport
  
  August 1979
  
  출판
- On the Glitch Phenomenon
  
  Leslie Lamport, Richard Palais
  
  November 1976 | Rejected by IEEE Transactions on Computers (November 1976). 에디션 에디션
  
  Rejected by IEEE Transactions on Computers (November 1976).
  
  출판
- Computation and State Machines
  
  Leslie Lamport
  
  April 2008
  
  출판
- Hybrid Systems in TLA+
  
  Leslie Lamport
  
  Hybrid Systems, Robert L. Grossman, Anil Nerode, Hans Rischel, and Anders P. Ravn, editors. Lecture Notes in Computer Science, Springer-Verlag | 1993, Vol 736 | Hybrid Systems, Robert L. Grossman, Anil Nerode, Hans Rischel, and Anders P. Ravn, editors. Lecture Notes in Computer Science, Springer-Verlag edition
  
  출판
- Leslie Lamport: The Specification Language TLA+
  
  Leslie Lamport
  
  In Logics of Specification Languages | 2008 | In Logics of Specification Languages, Dines Bjørner and Martin C. Henson, editors. edition
  
  편집자: Dines Bjarner and Martin C. Henson
  
  출판 출판
- Chapter in Software Specification Methods: An Overview Using a Case Study
  
  Leslie Lamport
  
  Software Specification Methods: An Overview Using a Case Study, TLA+ | 글쓴이 Hermes | 2006
  
  출판
- Distribution
  
  Leslie Lamport
  
  May 1987
  
  Email message sent to a DEC SRC bulletin board at 12:23:29 PDT on 28 May 87.
  
  출판
- The Future of Computing: Logic or Biology
  
  Leslie Lamport
  
  July 2003
  
  출판
- A Discussion With Leslie Lamport
  
  Leslie Lamport, Dejan Milojicic
  
  August 2002
  
  An interview in IEEE Distributed Systems Online 3, 8
  
  출판
- Summer Vision Programs
  
  Leslie Lamport
  
  October 1966
  
  Massachusetts Institute of Technology, Project MAC Memorandum MAC-M-332, Artificial Intelligence Project Memo Number Vision 111
  
  출판
- Substitution: Syntactic versus Semantic
  
  Leslie Lamport
  
  1998-004 | March 1998
  
  The Fifth Internatinal Conference on Theoretical and Methodological Issues in Machine Translation with special emphasis on: MT in the Next Generation
  
  출판
- Refinement in State-Based Formalisms
  
  Leslie Lamport
  
  1996-001 | December 1996
  
  출판
- Introduction to TLA
  
  Leslie Lamport
  
  1994-001 | December 1994
  
  The Annals of Statistics
  
  출판
- The Temporal Logic of Actions
  
  Leslie Lamport
  
  79 | May 1994
  
  글쓴이 Microsoft
  
  ACM Transactions on Programming Languages and Systems 16
  
  Publication
- Synchronizing Time Servers
  
  Leslie Lamport
  
  | August 1987
  
  The ACM Conference on Human Factors in Computing Systems Workshop on Sensemaking (CHI 2008)
  
  출판
- Constructing Digital Signatures from a One Way Function
  
  Leslie Lamport
  
  CSL-98 | October 1979
  
  This paper was published by IEEE in the Proceedings of HICSS-43 in January, 2010.
  
  출판
- On Self-stabilizing Systems
  
  Leslie Lamport
  
  CA 7412-0511 | December 1974
  
  출판
- Vertical Paxos and Primary-Backup Replication
  
  Leslie Lamport, Dahlia Malkhi, Lidong Zhou
  
  MSR-TR-2009-63 | May 2009
  
  출판
- Stoppable Paxos
  
  Dahlia Malkhi, Leslie Lamport, Lidong Zhou
  
  MSR-TR-2008-192 | April 2008
  
  출판
- Reconfiguring a State Machine
  
  Leslie Lamport, Dahlia Malkhi, Lidong Zhou
  
  MSR-TR-2008-193 | February 2008
  
  출판
- Implementing Dataflow With Threads
  
  Leslie Lamport
  
  MSR-TR-2006-181 | December 2006
  
  출판
- Generalized Consensus and Paxos
  
  Leslie Lamport
  
  MSR-TR-2005-33 | March 2005
  
  출판
- Real Time is Really Simple
  
  Leslie Lamport
  
  MSR-TR-2005-30 | March 2005
  
  출판
- Lower Bounds for Asynchronous Consensus
  
  Leslie Lamport
  
  MSR-TR-2004-72 | July 2004
  
  출판 출판
- Consensus on Transaction Commit
  
  Jim Gray, Leslie Lamport
  
  MSR-TR-2003-96 | January 2004
  
  글쓴이 Microsoft
  
  ACM Transactions on Database Systems 31, 1 (2006), 133-160
  
  Publication
- The Analytic Cauchy Problem with Singular Data
  
  Leslie Lamport
  
  May 1972
  
  박사학위논문: Brandeis University | May 1972
  
  출판
- Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
  
  Leslie Lamport
  
  Published by Addison-Wesley | June 2002
  
  출판

Leslie Lamport

출판물

Who Builds a House without Drawing Blueprints?

Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics

Adaptive Register Allocation with a Linear Number of Registers

Why We Should Build Software Like We Build Houses

TLA+ Proofs

Leaderless Byzantine Paxos

How to Write a 21st Century Proof

Byzantizing Paxos by Refinement

Euclid Writes an Algorithm: A Fairytale

Verifying Safety Properties With the TLA+ Proof System

Computer Science and State Machines

Vertical Paxos and Primary-Backup Replication

Vertical Paxos and Primary-Backup Replication

Teaching Concurrency

The PlusCal Algorithm Language

The Mailbox Problem

A TLA+ Proof System

Leslie Lamport: The Specification Language TLA+

Computation and State Machines

Stoppable Paxos

Reconfiguring a State Machine

Implementing Dataflow With Threads

Fast Paxos

Checking a Multithreaded Algorithm with +CAL

Chapter in Software Specification Methods: An Overview Using a Case Study

Measuring Celebrity

Real-Time Model Checking is Really Simple

How Fast Can Eventual Synchrony Lead to Consensus?

Generalized Consensus and Paxos

Real Time is Really Simple

Implementing and Combining Specifications

Lower Bounds for Asynchronous Consensus

Cheap Paxos

Formal Specification of a Web Services Protocol

Consensus on Transaction Commit

On Hair Color in France

The Future of Computing: Logic or Biology

Disk Paxos

Checking Cache-Coherence Protocols with TLA+

High-Level Specifications: Lessons from Industry

Specifying and verifying systems with TLA+

A Discussion With Leslie Lamport

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Arbiter-Free Synchronization

The Wildfire Challenge Problem

Paxos Made Simple

Fairness and Hyperfairness

Archival References to Web Pages

Lower Bounds on Consensus

When Does a Correct Mutual Exclusion Algorithm Guarantee Mutual Exclusion

How (La)TeX changed the face of Mathematics

Model Checking TLA+ Specifications

Should Your Specification Language Be Typed?

Specifying Concurrent Systems with TLA+

A Lazy Caching Proof in TLA

TLA+ Verification of Cache-Coherence Protocols

Reduction in TLA

The Part-Time Parliament

Substitution: Syntactic versus Semantic

Proving Possibility Properties

Composition: A Way to Make Proofs Harder

Marching to Many Distant Drummers

Refinement in State-Based Formalisms

A TLA Solution to the RPC-Memory Specification Problem

The RPC-Memory Specification Problem: Problem Statement

TLA in Pictures

How to Write a Proof

Conjoining Specifications

Adding “Process Algebra” to TLA

What Process Algebra Proofs Use Instead of Invariance

Processes are in the Eye of the Beholder

Introduction to TLA

How to Write a Long Formula

Decomposing Specifications of Concurrent Systems

Open Systems in TLA

Specifying and Verifying Fault-Tolerant Systems

TLZ (Abstract)

The Temporal Logic of Actions