×
Author ID: lamport.leslie Recent zbMATH articles by "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: 28 Co-Authors with 21 Joint Publications
420 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

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

Cited by 2,256 Authors

59 Raynal, Michel
25 Guerraoui, Rachid
22 Hesselink, Wim H.
22 Taubenfeld, Gadi
18 Dolev, Shlomi
18 Moses, Yoram
15 Lynch, Nancy Ann
14 Mostefaoui, Achour
14 Schmid, Ulrich
13 Lamport, Leslie
13 Peled, Doron A.
12 Cohen, Ran
12 Fauconnier, Hugues
12 Gafni, Eli M.
12 Garay, Juan A.
12 Herlihy, Maurice P.
12 Rajsbaum, Sergio
11 Baldoni, Roberto
11 Charron-Bost, Bernadette
11 Welch, Jennifer Lundelius
10 Delporte-Gallet, Carole
10 Garg, Vijay K.
10 Gilbert, Seth
10 Halpern, Joseph Yehuda
10 Widder, Josef
9 Dolev, Danny
9 Konnov, Igor V.
9 Kshemkalyani, Ajay D.
9 Malkhi, Dahlia
9 Schiller, Elad Michael
9 Schwarzmann, Alexander A.
9 Tsigas, Philippas
9 van Glabbeek, Robert Jan
8 Alistarh, Dan
8 Anderson, James H.
8 Bouajjani, Ahmed
8 Chockler, Gregory V.
8 Janicki, Ryszard
8 Koutny, Maciej
8 Pnueli, Amir
8 Potop-Butucaru, Maria Gradinariu
8 Tixeuil, Sébastien
8 Travers, Corentin
8 Wehrheim, Heike
7 Abdulla, Parosh Aziz
7 Abraham, Uri
7 Aspnes, James
7 Attiya, Hagit
7 Castañeda, Armando
7 Enea, Constantin
7 Függer, Matthias
7 Hadzilacos, Vassos
7 Hélary, Jean-Michel
7 Henzinger, Thomas A.
7 Jard, Claude
7 Lenzen, Christoph
7 Merritt, Michael J.
7 Mittal, Neeraj
7 Neiger, Gil
7 Schiper, André
7 Toueg, Sam
7 Vardi, Moshe Ya’akov
7 Zikas, Vassilis
6 Abadi, Martín
6 Brookes, Stephen D.
6 Derrick, John
6 Doherty, Simon
6 Dongol, Brijesh
6 Dubois, Swan
6 Imbs, Damien
6 Katz, Shmuel
6 Keidar, Idit
6 Kupferman, Orna
6 Liu, Zhiming
6 Schellhorn, Gerhard
6 Spirakis, Paul G.
6 Vaidya, Nitin H.
6 Wattenhofer, Roger P.
5 Afek, Yehuda
5 Aravind, Alex A.
5 Bazzi, Rida A.
5 Censor-Hillel, Keren
5 Choudhary, Ashish
5 Coan, Brian A.
5 Czyzowicz, Jurek
5 Dieudonné, Yoann
5 Georgiou, Chryssis
5 Godard, Emmanuel
5 Golab, Wojciech
5 Israeli, Amos
5 Jiménez, Ernesto
5 Katz, Jonathan N.
5 Kranakis, Evangelos Konstantinou
5 Kulkarni, Sandeep S.
5 Lanese, Ivan
5 Larrea, Mikel
5 Meisels, Amnon
5 Melliar-Smith, P. Michael
5 Misra, Jayadev
5 Moser, Louise E.
...and 2,156 more Authors
all top 5

Cited in 153 Serials

187 Theoretical Computer Science
179 Distributed Computing
102 Information Processing Letters
58 Information and Computation
56 Formal Aspects of Computing
38 Acta Informatica
29 Journal of Computer and System Sciences
23 Journal of Parallel and Distributed Computing
23 Formal Methods in System Design
19 International Journal of Parallel Programming
17 Journal of Cryptology
14 Journal of Logical and Algebraic Methods in Programming
13 Logical Methods in Computer Science
12 Information Sciences
12 Journal of Automated Reasoning
11 Computing
10 Automatica
10 Algorithmica
10 Parallel Algorithms and Applications
10 Theory of Computing Systems
9 Artificial Intelligence
9 International Journal of Foundations of Computer Science
9 International Journal of Computer Mathematics
7 Science of Computer Programming
7 MSCS. Mathematical Structures in Computer Science
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 Automation and Remote Control
5 Cybernetics and Systems Analysis
5 Concurrency and Computation: Practice & Experience
5 Sādhanā
5 Parallel Processing Letters
5 Computer Science Review
4 International Journal of Theoretical Physics
4 SIAM Journal on Control and Optimization
4 Journal of Functional Programming
4 Constraints
4 Journal of the ACM
4 Computer Languages, Systems & Structures
4 Frontiers of Computer Science
3 Discrete Applied Mathematics
3 International Journal of Control
3 Annals of Pure and Applied Logic
3 Journal of Symbolic Computation
3 Discrete Event Dynamic Systems
3 Games and Economic Behavior
3 Mathematical Problems in Engineering
3 Quantum Information Processing
3 ACM Transactions on Computational Logic
3 Journal of Applied Logic
3 Algorithms
2 Computer Physics Communications
2 Discrete Mathematics
2 BIT
2 Journal of Philosophical Logic
2 Journal of Soviet Mathematics
2 SIAM Journal on Computing
2 Order
2 Neural Computation
2 The Journal of Supercomputing
2 European Journal of Operational Research
2 Journal of Applied Non-Classical Logics
2 International Transactions in Operational Research
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 Foundations of Science
2 Fundamenta Informaticae
2 Theory and Practice of Logic Programming
2 The Review of Symbolic Logic
1 ACM Computing Surveys
1 The American Statistician
1 Astrophysics and Space Science
1 Communications on Pure and Applied Mathematics
1 General Relativity and Gravitation
1 International Journal of Systems Science
1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
1 Journal of the Franklin Institute
1 Journal of Mathematical Physics
1 Mathematische Semesterberichte
1 Nonlinearity
1 Physics Letters. A
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 The Journal of Symbolic Logic
1 Mathematische Annalen
1 Programming and Computer Software
1 Software. Practice & Experience
1 Synthese
...and 53 more Serials

Citations by Year

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