×
Compute Distance To:
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: 29 Co-Authors with 21 Joint Publications
426 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

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

46 Raynal, Michel
22 Hesselink, Wim H.
21 Guerraoui, Rachid
18 Taubenfeld, Gadi
15 Moses, Yoram
14 Lynch, Nancy Ann
14 Mostefaoui, Achour
13 Dolev, Shlomi
13 Lamport, Leslie
12 Schmid, Ulrich
11 Baldoni, Roberto
11 Gafni, Eli M.
10 Fauconnier, Hugues
10 Halpern, Joseph Yehuda
10 Herlihy, Maurice P.
10 Peled, Doron A.
10 Welch, Jennifer Lundelius
9 Garay, Juan A.
9 Garg, Vijay K.
8 Anderson, James H.
8 Delporte-Gallet, Carole
8 Gilbert, Seth
8 Kshemkalyani, Ajay D.
8 Malkhi, Dahlia
8 Pnueli, Amir
8 Rajsbaum, Sergio
8 Schwarzmann, Alexander A.
8 Widder, Josef
7 Abraham, Uri
7 Aspnes, James
7 Charron-Bost, Bernadette
7 Chockler, Gregory V.
7 Cohen, Ran
7 Dolev, Danny
7 Hadzilacos, Vassos
7 Hélary, Jean-Michel
7 Janicki, Ryszard
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 Katz, Shmuel
6 Koutny, Maciej
6 Lenzen, Christoph
6 Spirakis, Paul G.
6 Tixeuil, Sébastien
6 Tsigas, Philippas
6 Vaidya, Nitin H.
6 van Glabbeek, Robert Jan
6 Vardi, Moshe Ya’akov
6 Wehrheim, Heike
5 Aravind, Alex A.
5 Attiya, Hagit
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 Jard, Claude
5 Keidar, Idit
5 Kulkarni, Sandeep S.
5 Meisels, Amnon
5 Misra, Jayadev
5 Potop-Butucaru, Maria Gradinariu
5 Schellhorn, Gerhard
5 Schiller, Elad Michael
5 Shavit, Nir N.
5 Struth, Georg
5 Travers, Corentin
5 Tuttle, Mark R.
5 Veith, Helmut
5 Vidyasankar, Krishnamurthy
5 Zikas, Vassilis
5 Zivan, Roie
4 Abdulla, Parosh Aziz
4 Afek, Yehuda
4 Back, Ralph-Johan
4 Bazzi, Rida A.
4 Biely, Martin
4 Bjørner, Dines
4 Derrick, John
4 Dieudonné, Yoann
4 Doherty, Simon
4 Dongol, Brijesh
4 Dwork, Cynthia
4 Enea, Constantin
4 Fiadeiro, José Luiz
4 Francez, Nissim
4 Higham, Lisa
4 Jiménez, Ernesto
4 Joseph, Mathai
4 Korman, Amos
...and 1,791 more Authors
all top 5

Cited in 136 Serials

177 Distributed Computing
170 Theoretical Computer Science
91 Information Processing Letters
55 Formal Aspects of Computing
50 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
12 Journal of Logical and Algebraic Methods in Programming
10 Journal of Cryptology
10 Parallel Algorithms and Applications
10 Theory of Computing Systems
10 Logical Methods in Computer Science
9 Algorithmica
9 International Journal of Computer Mathematics
8 Artificial Intelligence
8 Automatica
8 Computing
8 International Journal of Foundations of Computer Science
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
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 Foundations of Science
2 Fundamenta Informaticae
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 the Franklin Institute
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
...and 36 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.