## Lamport, Leslie

Compute Distance To:
 Author ID: lamport.leslie Published as: Lamport, Leslie; Lamport, L. External Links: MGP · Wikidata · dblp · GND · IdRef Awards: Turing Award (2013)
 Documents Indexed: 75 Publications since 1970, including 2 Books 2 Further Contributions Biographic References: 3 Publications Co-Authors: 29 Co-Authors with 21 Joint Publications 425 Co-Co-Authors
all top 5

### Co-Authors

 54 single-authored 4 Gafni, Eli M. 3 Pease, Marshall C. III 3 Shostak, Robert E. 2 Abadi, Martín 2 Aguilera, Marcos Kawazoe 2 Dijkstra, Edsger Wybe 2 Johnson, James E. 2 Langworthy, David E. 2 Scholten, Carel S. 2 Steffens, Elisabeth F. M. 2 Vogt, Friedrich H. 1 Cousineau, Denis 1 Doligez, Damien 1 Joshi, Rajeev 1 Ladkin, Peter B. 1 Lynch, Nancy Ann 1 Malkhi, Dahlia 1 Melliar-Smith, P. Michael 1 Merz, Stephan 1 Olivier, Bryan 1 Owicki, Susan S. 1 Perl, Sharon 1 Ricketts, Daniel 1 Roegel, Denis 1 Schneider, Fred B. 1 Tasiran, Serdar 1 Tuttle, Mark R. 1 Vanzetto, Hernán 1 Weihl, William E. 1 Yu, Yuan 1 Ziegler, Günter Matthias
all top 5

### Serials

 12 Distributed Computing 8 Communications of the ACM 5 Journal of the Association for Computing Machinery 5 ACM Transactions on Programming Languages and Systems 3 Theoretical Computer Science 2 Acta Informatica 1 American Mathematical Monthly 1 Information Processing Letters 1 Mitteilungen der Deutschen Mathematiker-Vereinigung (DMV) 1 IEEE Transactions on Computers 1 Science of Computer Programming 1 IEEE Transactions on Software Engineering 1 Formal Methods in System Design 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 The Journal of Logic and Algebraic Programming 1 Foundations of Physics 1 Bulletin of the American Mathematical Society 1 Journal of Fixed Point Theory and Applications 1 ACM Books
all top 5

### Fields

 70 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 3 Mathematical logic and foundations (03-XX) 2 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Group theory and generalizations (20-XX) 1 Partial differential equations (35-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX)

### Citations contained in zbMATH Open

60 Publications have been cited 1,548 times in 1,187 Documents Cited by Year
Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027
Lamport, Leslie
1978
Reaching agreement in the presence of faults. Zbl 0434.68031
Pease, M.; Shostak, R.; Lamport, L.
1980
The Byzantine generals problem. Zbl 0483.68021
Lamport, Leslie; Shostak, Robert; Pease, Marshall
1982
The existence of refinement mappings. Zbl 0728.68083
1991
On interprocess communication. I: Basic formalism. Zbl 0598.68022
Lamport, Leslie
1986
How to make a microprocessor computer that correctly executes multiprocess programs. Zbl 0419.68045
Lamport, Leslie
1979
Proving liveness properties of concurrent programs. Zbl 0483.68013
Owicki, Susan; Lamport, Leslie
1982
A new solution of Dijkstra’s concurrent programming problem. Zbl 0281.68004
Lamport, Leslie
1974
Proving the correctness of multiprocess programs. Zbl 0349.68006
Lamport, Leslie
1977
On interprocess communication. II: Algorithms. Zbl 0598.68023
Lamport, Leslie
1986
The parallel execution of DO loops. Zbl 0273.68012
Lamport, Leslie
1974
Specifying concurrent program modules. Zbl 0516.68010
Lamport, Leslie
1983
The mutual exclusion problem. II: Statement and solutions. Zbl 0627.68018
Lamport, Leslie
1986
The mutual exclusion problem. I: A theory of interprocess communication. Zbl 0627.68017
Lamport, Leslie
1986
On-the-fly garbage collection: An exercise in cooperation. Zbl 0386.68024
Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M.
1978
Synchronizing clocks in the presence of faults. Zbl 0629.68025
Lamport, Leslie; Melliar-Smith, P. M.
1985
How to write a proof. Zbl 0877.00005
Lamport, Leslie
1995
Fast Paxos. Zbl 1266.68218
Lamport, Leslie
2006
The weak Byzantine Generals Problem. Zbl 0627.68026
Lamport, L.
1983
Specifying concurrent systems with TLA$$^+$$. Zbl 0959.68080
Lamport, Leslie
1999
The ”Hoare logic” of CSP, and all that. Zbl 0536.68017
Lamport, Leslie; Schneider, Fred B.
1984
Concurrent reading and writing. Zbl 0361.68091
Lamport, Leslie
1977
The ”Hoare logic” of concurrent programs. Zbl 0416.68032
Lamport, Leslie
1980
Disk Paxos. Zbl 0987.68667
Gafni, Eli; Lamport, Leslie
2000
Distributed computing: Models and methods. Zbl 0900.68089
Lamport, Leslie; Lynch, Nancy
1990
A new approach to proving the correctness of multiprocess programs. Zbl 0463.68022
Lamport, Leslie
1979
How to write a proof. Zbl 1041.00501
Lamport, Leslie
1993
LaTeX: a document preparation system. (Das LaTeX-Handbuch.) Zbl 0852.68115
Lamport, Leslie
1995
The PlusCal algorithm language. Zbl 1250.68284
Lamport, Leslie
2009
How to write a 21$$^{\text{st}}$$ century proof. Zbl 1271.03082
Lamport, Leslie
2012
An assertional correctness proof of a distributed algorithm. Zbl 0514.68014
Lamport, Leslie
1982
A theorem on atomicity in distributed algorithms. Zbl 0699.68044
Lamport, Leslie
1990
On-the-fly garbage collection: An exercise in cooperation. Zbl 0347.68019
Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M.
1976
LA$$\TeX$$: a document preparation system. User’s guide and reference manual. 2nd ed. Zbl 0824.68121
Lamport, Leslie
1994
Real-time model checking is really simple. Zbl 1159.68328
Lamport, Leslie
2005
Lower bounds for asynchronous consensus. Zbl 1018.68728
Lamport, Leslie
2003
Byzantizing Paxos by refinement. Zbl 1350.68281
Lamport, Leslie
2011
Processes are in the eye of the beholder. Zbl 0901.68126
Lamport, Leslie
1997
Buridan’s principle. Zbl 1447.81009
Lamport, Leslie
2012
The specification and proof of correctness of interactive programs. Zbl 0404.68017
Lamport, Leslie
1979
On the proof of correctness of a calendar program. Zbl 0412.68014
Lamport, Leslie
1979
The Byzantine generals problem. Zbl 1448.68139
Lamport, Leslie; Shostak, Robert; Pease, Marshall
2019
The part-time parliament. Zbl 1455.68033
Lamport, Leslie
2019
Comment on Bell’s quadratic quotient method for hash code searching. Zbl 0199.52104
Lamport, L.
1970
Lower bounds for asynchronous consensus. Zbl 1266.68119
Lamport, Leslie
2006
Checking cache-coherence protocols with TLA$$^+$$. Zbl 1021.68052
Joshi, Rajeev; Lamport, Leslie; Matthews, John; Tasiran, Serdar; Tuttle, Mark; Yu, Yuan
2003
The mailbox problem. (Extended abstract). Zbl 1161.68325
Aguilera, Marcos K.; Gafni, Eli; Lamport, Leslie
2008
The mailbox problem. Zbl 1231.68063
Aguilera, Marcos K.; Gafni, Eli; Lamport, Leslie
2010
The synchronization of independent processes. Zbl 0332.68024
Lamport, Leslie
1976
the hyperplane method for an array computer. Zbl 0302.68044
Lamport, Leslie
1975
Critique of the Lake Arrowhead three. Zbl 0748.68015
Lamport, Leslie
1992
Open systems in TLA. Zbl 1374.68315
1994
An axiomatic semantics of concurrent programming languages. Zbl 0582.68006
Lamport, Leslie
1985
The mutual exclusion problem. I: A theory of interprocess communication. Zbl 1448.68135
Lamport, Leslie
2019
An extension of a theorem of Hamada on the Cauchy problem with singular data. Zbl 0269.35002
Lamport, Leslie
1973
Implementing dataflow with threads. Zbl 1267.68037
Lamport, Leslie
2008
TLA$$^{ + }$$ proofs. Zbl 1372.68168
Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán
2012
Formal specification of a web services protocol. Zbl 1271.68090
Johnson, James E.; Langworthy, David E.; Lamport, Leslie; Vogt, Friedrich H.
2004
Checking a multithreaded algorithm with $$^{+}$$CAL. Zbl 1155.68564
Lamport, Leslie
2007
Concurrency. The works of Leslie Lamport. Zbl 1434.68029
2019
The Byzantine generals problem. Zbl 1448.68139
Lamport, Leslie; Shostak, Robert; Pease, Marshall
2019
The part-time parliament. Zbl 1455.68033
Lamport, Leslie
2019
The mutual exclusion problem. I: A theory of interprocess communication. Zbl 1448.68135
Lamport, Leslie
2019
Concurrency. The works of Leslie Lamport. Zbl 1434.68029
2019
How to write a 21$$^{\text{st}}$$ century proof. Zbl 1271.03082
Lamport, Leslie
2012
Buridan’s principle. Zbl 1447.81009
Lamport, Leslie
2012
TLA$$^{ + }$$ proofs. Zbl 1372.68168
Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán
2012
Byzantizing Paxos by refinement. Zbl 1350.68281
Lamport, Leslie
2011
The mailbox problem. Zbl 1231.68063
Aguilera, Marcos K.; Gafni, Eli; Lamport, Leslie
2010
The PlusCal algorithm language. Zbl 1250.68284
Lamport, Leslie
2009
The mailbox problem. (Extended abstract). Zbl 1161.68325
Aguilera, Marcos K.; Gafni, Eli; Lamport, Leslie
2008
Implementing dataflow with threads. Zbl 1267.68037
Lamport, Leslie
2008
Checking a multithreaded algorithm with $$^{+}$$CAL. Zbl 1155.68564
Lamport, Leslie
2007
Fast Paxos. Zbl 1266.68218
Lamport, Leslie
2006
Lower bounds for asynchronous consensus. Zbl 1266.68119
Lamport, Leslie
2006
Real-time model checking is really simple. Zbl 1159.68328
Lamport, Leslie
2005
Formal specification of a web services protocol. Zbl 1271.68090
Johnson, James E.; Langworthy, David E.; Lamport, Leslie; Vogt, Friedrich H.
2004
Lower bounds for asynchronous consensus. Zbl 1018.68728
Lamport, Leslie
2003
Checking cache-coherence protocols with TLA$$^+$$. Zbl 1021.68052
Joshi, Rajeev; Lamport, Leslie; Matthews, John; Tasiran, Serdar; Tuttle, Mark; Yu, Yuan
2003
Disk Paxos. Zbl 0987.68667
Gafni, Eli; Lamport, Leslie
2000
Specifying concurrent systems with TLA$$^+$$. Zbl 0959.68080
Lamport, Leslie
1999
Processes are in the eye of the beholder. Zbl 0901.68126
Lamport, Leslie
1997
How to write a proof. Zbl 0877.00005
Lamport, Leslie
1995
LaTeX: a document preparation system. (Das LaTeX-Handbuch.) Zbl 0852.68115
Lamport, Leslie
1995
LA$$\TeX$$: a document preparation system. User’s guide and reference manual. 2nd ed. Zbl 0824.68121
Lamport, Leslie
1994
Open systems in TLA. Zbl 1374.68315
1994
How to write a proof. Zbl 1041.00501
Lamport, Leslie
1993
Critique of the Lake Arrowhead three. Zbl 0748.68015
Lamport, Leslie
1992
The existence of refinement mappings. Zbl 0728.68083
1991
Distributed computing: Models and methods. Zbl 0900.68089
Lamport, Leslie; Lynch, Nancy
1990
A theorem on atomicity in distributed algorithms. Zbl 0699.68044
Lamport, Leslie
1990
On interprocess communication. I: Basic formalism. Zbl 0598.68022
Lamport, Leslie
1986
On interprocess communication. II: Algorithms. Zbl 0598.68023
Lamport, Leslie
1986
The mutual exclusion problem. II: Statement and solutions. Zbl 0627.68018
Lamport, Leslie
1986
The mutual exclusion problem. I: A theory of interprocess communication. Zbl 0627.68017
Lamport, Leslie
1986
Synchronizing clocks in the presence of faults. Zbl 0629.68025
Lamport, Leslie; Melliar-Smith, P. M.
1985
An axiomatic semantics of concurrent programming languages. Zbl 0582.68006
Lamport, Leslie
1985
The ”Hoare logic” of CSP, and all that. Zbl 0536.68017
Lamport, Leslie; Schneider, Fred B.
1984
Specifying concurrent program modules. Zbl 0516.68010
Lamport, Leslie
1983
The weak Byzantine Generals Problem. Zbl 0627.68026
Lamport, L.
1983
The Byzantine generals problem. Zbl 0483.68021
Lamport, Leslie; Shostak, Robert; Pease, Marshall
1982
Proving liveness properties of concurrent programs. Zbl 0483.68013
Owicki, Susan; Lamport, Leslie
1982
An assertional correctness proof of a distributed algorithm. Zbl 0514.68014
Lamport, Leslie
1982
Reaching agreement in the presence of faults. Zbl 0434.68031
Pease, M.; Shostak, R.; Lamport, L.
1980
The ”Hoare logic” of concurrent programs. Zbl 0416.68032
Lamport, Leslie
1980
How to make a microprocessor computer that correctly executes multiprocess programs. Zbl 0419.68045
Lamport, Leslie
1979
A new approach to proving the correctness of multiprocess programs. Zbl 0463.68022
Lamport, Leslie
1979
The specification and proof of correctness of interactive programs. Zbl 0404.68017
Lamport, Leslie
1979
On the proof of correctness of a calendar program. Zbl 0412.68014
Lamport, Leslie
1979
Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027
Lamport, Leslie
1978
On-the-fly garbage collection: An exercise in cooperation. Zbl 0386.68024
Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M.
1978
Proving the correctness of multiprocess programs. Zbl 0349.68006
Lamport, Leslie
1977
Concurrent reading and writing. Zbl 0361.68091
Lamport, Leslie
1977
On-the-fly garbage collection: An exercise in cooperation. Zbl 0347.68019
Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M.
1976
The synchronization of independent processes. Zbl 0332.68024
Lamport, Leslie
1976
the hyperplane method for an array computer. Zbl 0302.68044
Lamport, Leslie
1975
A new solution of Dijkstra’s concurrent programming problem. Zbl 0281.68004
Lamport, Leslie
1974
The parallel execution of DO loops. Zbl 0273.68012
Lamport, Leslie
1974
An extension of a theorem of Hamada on the Cauchy problem with singular data. Zbl 0269.35002
Lamport, Leslie
1973
Comment on Bell’s quadratic quotient method for hash code searching. Zbl 0199.52104
Lamport, L.
1970
all top 5

### Cited by 1,822 Authors

 44 Raynal, Michel 22 Hesselink, Wim H. 19 Guerraoui, Rachid 18 Taubenfeld, Gadi 15 Moses, Yoram 14 Lynch, Nancy Ann 13 Lamport, Leslie 12 Dolev, Shlomi 12 Mostefaoui, Achour 11 Baldoni, Roberto 11 Gafni, Eli M. 11 Schmid, Ulrich 10 Fauconnier, Hugues 10 Halpern, Joseph Yehuda 10 Herlihy, Maurice P. 10 Peled, Doron A. 9 Garay, Juan A. 9 Garg, Vijay K. 9 Welch, Jennifer Lundelius 8 Anderson, James H. 8 Delporte-Gallet, Carole 8 Gilbert, Seth 8 Kshemkalyani, Ajay D. 8 Pnueli, Amir 8 Rajsbaum, Sergio 8 Schwarzmann, Alexander A. 8 Widder, Josef 7 Abraham, Uri 7 Aspnes, James 7 Cohen, Ran 7 Dolev, Danny 7 Hadzilacos, Vassos 7 Hélary, Jean-Michel 7 Janicki, Ryszard 7 Malkhi, Dahlia 7 Merritt, Michael J. 7 Mittal, Neeraj 7 Neiger, Gil 7 Schiper, André 7 Toueg, Sam 6 Abadi, Martín 6 Alistarh, Dan 6 Bouajjani, Ahmed 6 Charron-Bost, Bernadette 6 Chockler, Gregory V. 6 Katz, Shmuel 6 Konnov, Igor V. 6 Koutny, Maciej 6 Lenzen, Christoph 6 Spirakis, Paul G. 6 Tixeuil, Sébastien 6 van Glabbeek, Robert Jan 6 Vardi, Moshe Ya’akov 5 Aravind, Alex A. 5 Censor-Hillel, Keren 5 Coan, Brian A. 5 Dubois, Swan 5 Függer, Matthias 5 Godard, Emmanuel 5 Golab, Wojciech 5 Henzinger, Thomas A. 5 Imbs, Damien 5 Israeli, Amos 5 Keidar, Idit 5 Kulkarni, Sandeep S. 5 Meisels, Amnon 5 Misra, Jayadev 5 Potop-Butucaru, Maria Gradinariu 5 Schiller, Elad Michael 5 Shavit, Nir N. 5 Travers, Corentin 5 Tsigas, Philippas 5 Tuttle, Mark R. 5 Veith, Helmut 5 Vidyasankar, Krishnamurthy 5 Wehrheim, Heike 5 Zikas, Vassilis 5 Zivan, Roie 4 Abdulla, Parosh Aziz 4 Afek, Yehuda 4 Attiya, Hagit 4 Back, Ralph-Johan 4 Bazzi, Rida A. 4 Biely, Martin 4 Bjørner, Dines 4 Dwork, Cynthia 4 Enea, Constantin 4 Fiadeiro, José Luiz 4 Francez, Nissim 4 Higham, Lisa 4 Jard, Claude 4 Jiménez, Ernesto 4 Joseph, Mathai 4 Korman, Amos 4 Kupferman, Orna 4 Kuznetsov, Petr 4 Li, Xiaozhou 4 Liu, Zhiming 4 Lobanov, A. V. 4 Maibaum, Thomas Stephen Edward ...and 1,722 more Authors
all top 5

### Cited in 135 Serials

 173 Distributed Computing 170 Theoretical Computer Science 91 Information Processing Letters 55 Formal Aspects of Computing 47 Information and Computation 36 Acta Informatica 27 Journal of Computer and System Sciences 23 Journal of Parallel and Distributed Computing 22 Formal Methods in System Design 19 International Journal of Parallel Programming 12 Journal of Automated Reasoning 11 Journal of Logical and Algebraic Methods in Programming 10 Journal of Cryptology 10 Parallel Algorithms and Applications 10 Theory of Computing Systems 9 Algorithmica 9 International Journal of Computer Mathematics 8 Artificial Intelligence 8 Automatica 8 International Journal of Foundations of Computer Science 8 Logical Methods in Computer Science 7 Computing 7 Science of Computer Programming 6 Mathematical Systems Theory 6 Cybernetics 6 Real-Time Systems 6 RAIRO. Informatique Théorique et Applications 6 Annals of Mathematics and Artificial Intelligence 6 The Journal of Logic and Algebraic Programming 6 International Journal of Parallel, Emergent and Distributed Systems 5 Journal of Computer Science and Technology 5 MSCS. Mathematical Structures in Computer Science 5 Automation and Remote Control 5 Cybernetics and Systems Analysis 5 Concurrency and Computation: Practice & Experience 5 Sādhanā 4 International Journal of Theoretical Physics 4 Information Sciences 4 Journal of Functional Programming 4 Constraints 4 Journal of the ACM 4 Computer Languages, Systems & Structures 4 Frontiers of Computer Science 4 Computer Science Review 3 Discrete Applied Mathematics 3 SIAM Journal on Control and Optimization 3 Annals of Pure and Applied Logic 3 Journal of Symbolic Computation 3 Games and Economic Behavior 3 Mathematical Problems in Engineering 3 Journal of Applied Logic 3 Algorithms 2 Computer Physics Communications 2 International Journal of Control 2 BIT 2 Journal of Soviet Mathematics 2 SIAM Journal on Computing 2 Order 2 Neural Computation 2 Discrete Event Dynamic Systems 2 The Journal of Supercomputing 2 European Journal of Operational Research 2 Journal of Applied Non-Classical Logics 2 European Journal of Control 2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 New Journal of Physics 2 Fundamenta Informaticae 2 Lobachevskii Journal of Mathematics 2 ACM Transactions on Computational Logic 2 The Review of Symbolic Logic 1 ACM Computing Surveys 1 Astrophysics and Space Science 1 Communications on Pure and Applied Mathematics 1 Discrete Mathematics 1 General Relativity and Gravitation 1 International Journal of Systems Science 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Journal of Mathematical Physics 1 Mathematische Semesterberichte 1 Nonlinearity 1 The Mathematical Intelligencer 1 Applied Mathematics and Computation 1 Biometrical Journal 1 Journal of Combinatorial Theory. Series B 1 Journal of Computational and Applied Mathematics 1 Journal of Economic Theory 1 Journal of Mathematical Psychology 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Mathematische Annalen 1 Software. Practice & Experience 1 Synthese 1 Moscow University Computational Mathematics and Cybernetics 1 Advances in Applied Mathematics 1 History and Philosophy of Logic 1 Acta Applicandae Mathematicae 1 International Journal of Production Research 1 Parallel Computing 1 RAIRO. Modélisation Mathématique et Analyse Numérique 1 Acta Mathematicae Applicatae Sinica. English Series ...and 35 more Serials
all top 5

### Cited in 34 Fields

 1,090 Computer science (68-XX) 103 Mathematical logic and foundations (03-XX) 67 Information and communication theory, circuits (94-XX) 28 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 26 Systems theory; control (93-XX) 23 Combinatorics (05-XX) 18 Operations research, mathematical programming (90-XX) 11 Numerical analysis (65-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 9 Quantum theory (81-XX) 7 Biology and other natural sciences (92-XX) 6 General and overarching topics; collections (00-XX) 6 Probability theory and stochastic processes (60-XX) 6 Statistics (62-XX) 4 Category theory; homological algebra (18-XX) 3 Partial differential equations (35-XX) 3 General topology (54-XX) 3 Relativity and gravitational theory (83-XX) 3 Mathematics education (97-XX) 2 History and biography (01-XX) 2 Ordinary differential equations (34-XX) 2 Differential geometry (53-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Integral transforms, operational calculus (44-XX) 1 Geometry (51-XX) 1 Mechanics of particles and systems (70-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Statistical mechanics, structure of matter (82-XX)

### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.