×
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
425 Co-Co-Authors

Publications by Year

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
307
1978
Reaching agreement in the presence of faults. Zbl 0434.68031
Pease, M.; Shostak, R.; Lamport, L.
212
1980
The Byzantine generals problem. Zbl 0483.68021
Lamport, Leslie; Shostak, Robert; Pease, Marshall
189
1982
The existence of refinement mappings. Zbl 0728.68083
Abadi, Martín; Lamport, Leslie
89
1991
On interprocess communication. I: Basic formalism. Zbl 0598.68022
Lamport, Leslie
72
1986
How to make a microprocessor computer that correctly executes multiprocess programs. Zbl 0419.68045
Lamport, Leslie
67
1979
Proving liveness properties of concurrent programs. Zbl 0483.68013
Owicki, Susan; Lamport, Leslie
63
1982
A new solution of Dijkstra’s concurrent programming problem. Zbl 0281.68004
Lamport, Leslie
63
1974
Proving the correctness of multiprocess programs. Zbl 0349.68006
Lamport, Leslie
58
1977
On interprocess communication. II: Algorithms. Zbl 0598.68023
Lamport, Leslie
47
1986
The parallel execution of DO loops. Zbl 0273.68012
Lamport, Leslie
39
1974
Specifying concurrent program modules. Zbl 0516.68010
Lamport, Leslie
37
1983
The mutual exclusion problem. II: Statement and solutions. Zbl 0627.68018
Lamport, Leslie
30
1986
The mutual exclusion problem. I: A theory of interprocess communication. Zbl 0627.68017
Lamport, Leslie
28
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.
17
1985
How to write a proof. Zbl 0877.00005
Lamport, Leslie
16
1995
Fast Paxos. Zbl 1266.68218
Lamport, Leslie
16
2006
The weak Byzantine Generals Problem. Zbl 0627.68026
Lamport, L.
14
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
9
2000
Distributed computing: Models and methods. Zbl 0900.68089
Lamport, Leslie; Lynch, Nancy
8
1990
A new approach to proving the correctness of multiprocess programs. Zbl 0463.68022
Lamport, Leslie
8
1979
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
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
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
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
Lower bounds for asynchronous consensus. Zbl 1018.68728
Lamport, Leslie
3
2003
Byzantizing Paxos by refinement. Zbl 1350.68281
Lamport, Leslie
3
2011
Processes are in the eye of the beholder. Zbl 0901.68126
Lamport, Leslie
2
1997
Buridan’s principle. Zbl 1447.81009
Lamport, Leslie
2
2012
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
The Byzantine generals problem. Zbl 1448.68139
Lamport, Leslie; Shostak, Robert; Pease, Marshall
2
2019
The part-time parliament. Zbl 1455.68033
Lamport, Leslie
2
2019
Comment on Bell’s quadratic quotient method for hash code searching. Zbl 0199.52104
Lamport, L.
2
1970
Lower bounds for asynchronous consensus. Zbl 1266.68119
Lamport, Leslie
2
2006
Checking cache-coherence protocols with TLA\(^+\). Zbl 1021.68052
Joshi, Rajeev; Lamport, Leslie; Matthews, John; Tasiran, Serdar; Tuttle, Mark; Yu, Yuan
2
2003
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
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
Critique of the Lake Arrowhead three. Zbl 0748.68015
Lamport, Leslie
1
1992
Open systems in TLA. Zbl 1374.68315
Abadi, Martín; Lamport, Leslie
1
1994
An axiomatic semantics of concurrent programming languages. Zbl 0582.68006
Lamport, Leslie
1
1985
The mutual exclusion problem. I: A theory of interprocess communication. Zbl 1448.68135
Lamport, Leslie
1
2019
An extension of a theorem of Hamada on the Cauchy problem with singular data. Zbl 0269.35002
Lamport, Leslie
1
1973
Implementing dataflow with threads. Zbl 1267.68037
Lamport, Leslie
1
2008
TLA\(^{ + }\) proofs. Zbl 1372.68168
Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán
1
2012
Formal specification of a web services protocol. Zbl 1271.68090
Johnson, James E.; Langworthy, David E.; Lamport, Leslie; Vogt, Friedrich H.
1
2004
Checking a multithreaded algorithm with \(^{+}\)CAL. Zbl 1155.68564
Lamport, Leslie
1
2007
Concurrency. The works of Leslie Lamport. Zbl 1434.68029
1
2019
The Byzantine generals problem. Zbl 1448.68139
Lamport, Leslie; Shostak, Robert; Pease, Marshall
2
2019
The part-time parliament. Zbl 1455.68033
Lamport, Leslie
2
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
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
16
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
3
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
9
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
89
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
72
1986
On interprocess communication. II: Algorithms. Zbl 0598.68023
Lamport, Leslie
47
1986
The mutual exclusion problem. II: Statement and solutions. Zbl 0627.68018
Lamport, Leslie
30
1986
The mutual exclusion problem. I: A theory of interprocess communication. Zbl 0627.68017
Lamport, Leslie
28
1986
Synchronizing clocks in the presence of faults. Zbl 0629.68025
Lamport, Leslie; Melliar-Smith, P. M.
17
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.
14
1983
The Byzantine generals problem. Zbl 0483.68021
Lamport, Leslie; Shostak, Robert; Pease, Marshall
189
1982
Proving liveness properties of concurrent programs. Zbl 0483.68013
Owicki, Susan; Lamport, Leslie
63
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.
212
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
67
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
307
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
58
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
63
1974
The parallel execution of DO loops. Zbl 0273.68012
Lamport, Leslie
39
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,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

Citations by Year

Wikidata Timeline

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