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