Leslie Lamport

From MaRDI portal
Revision as of 16:16, 6 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:661001

Available identifiers

zbMath Open lamport.leslieDBLPl/LeslieLamportWikidataQ92613 ScholiaQ92613MaRDI QIDQ661001

List of research outcomes

PublicationDate of PublicationType
Disk Paxos2020-12-04Paper
Arbitration-free synchronization2020-12-04Paper
https://portal.mardi4nfdi.de/entity/Q51378862020-12-03Paper
Fairness and hyperfairness2020-12-03Paper
The computer science of concurrency: the early years2020-11-10Paper
A new solution of Dijkstra's concurrent programming problem2020-11-10Paper
Time, clocks, and the ordering of events in a distributed system2020-11-10Paper
How to make a multiprocessor computer that correctly executes multiprocess programs2020-11-10Paper
The Byzantine generals problem2020-11-10Paper
The mutual exclusion problem: part I---A theory of interprocess communication2020-11-10Paper
The mutual exclusion problem: part II---Statement and solutions2020-11-10Paper
The part-time parliament2020-11-10Paper
https://portal.mardi4nfdi.de/entity/Q52039282019-12-09Paper
Open systems in TLA2017-09-29Paper
https://portal.mardi4nfdi.de/entity/Q28478032013-09-11Paper
Implementing dataflow with threads2013-06-28Paper
Fast Paxos2013-06-20Paper
Lower bounds for asynchronous consensus2013-06-20Paper
Buridan's principle2013-01-07Paper
How to write a 21\(^{\text{st}}\) century proof2012-12-05Paper
TLA +  Proofs2012-11-08Paper
The mailbox problem2012-02-06Paper
Byzantizing Paxos by Refinement2011-10-28Paper
Computer Science and State Machines2010-03-09Paper
The PlusCal Algorithm Language2009-08-20Paper
The Mailbox Problem2008-11-20Paper
Checking a Multithreaded Algorithm with  + CAL2008-09-09Paper
Formal specification of a web services protocol2007-01-09Paper
Correct Hardware Design and Verification Methods2006-10-20Paper
https://portal.mardi4nfdi.de/entity/Q44133962003-07-17Paper
https://portal.mardi4nfdi.de/entity/Q27668892002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q49346232001-05-06Paper
When does a correct mutual exclusion algorithm guarantee mutual exclusion?2000-12-12Paper
https://portal.mardi4nfdi.de/entity/Q42617311999-09-30Paper
Proving possibility properties1999-02-02Paper
Processes are in the eye of the beholder1998-07-22Paper
https://portal.mardi4nfdi.de/entity/Q43855441998-05-14Paper
How to Write a Proof1997-12-10Paper
https://portal.mardi4nfdi.de/entity/Q48736641996-04-16Paper
https://portal.mardi4nfdi.de/entity/Q43205371995-02-01Paper
Critique of the Lake Arrowhead three1992-09-27Paper
The existence of refinement mappings1991-01-01Paper
A theorem on atomicity in distributed algorithms1990-01-01Paper
On interprocess communication. I: Basic formalism1986-01-01Paper
On interprocess communication. II: Algorithms1986-01-01Paper
The mutual exclusion problem1986-01-01Paper
The mutual exclusion problem1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37048841985-01-01Paper
Synchronizing clocks in the presence of faults1985-01-01Paper
The ``Hoare Logic of CSP, and All That1984-01-01Paper
Specifying Concurrent Program Modules1983-01-01Paper
The Weak Byzantine Generals Problem1983-01-01Paper
An assertional correctness proof of a distributed algorithm1982-01-01Paper
Proving Liveness Properties of Concurrent Programs1982-01-01Paper
The Byzantine Generals Problem1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39455781982-01-01Paper
The Hoare logic of concurrent programs1980-01-01Paper
Reaching Agreement in the Presence of Faults1980-01-01Paper
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs1979-01-01Paper
A New Approach to Proving the Correctness of Multiprocess Programs1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41901011979-01-01Paper
On the proof of correctness of a calendar program1979-01-01Paper
Time, clocks, and the ordering of events in a distributed system1978-01-01Paper
Proving the Correctness of Multiprocess Programs1977-01-01Paper
Concurrent reading and writing1977-01-01Paper
The synchronization of independent processes1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40575821975-01-01Paper
Multiple byte processing with full-word instructions1975-01-01Paper
A new solution of Dijkstra's concurrent programming problem1974-01-01Paper
The parallel execution of DO loops1974-01-01Paper
An extension of a theorem of Hamada on the Cauchy problem with singular data1973-01-01Paper
Comment on Bell's quadratic quotient method for hash coded searching1970-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Leslie Lamport