| Publication | Date of Publication | Type |
|---|
| Concurrent algorithms | 2024-10-28 | Paper |
| On-the-fly garbage collection: an exercise in cooperation | 2024-10-28 | Paper |
Mathematical proof between generations
Notices of the American Mathematical Society | 2024-09-26 | Paper |
Disk paxos
Distributed Computing | 2020-12-04 | Paper |
Arbitration-free synchronization
Distributed Computing | 2020-12-04 | Paper |
Fairness and hyperfairness
Distributed Computing | 2020-12-03 | Paper |
| Lazy caching in TLA | 2020-12-03 | Paper |
The mutual exclusion problem. I: A theory of interprocess communication
Concurrency: the Works of Leslie Lamport | 2020-11-10 | Paper |
The mutual exclusion problem: part II---Statement and solutions
Concurrency: the Works of Leslie Lamport | 2020-11-10 | Paper |
The Byzantine generals problem
Concurrency: the Works of Leslie Lamport | 2020-11-10 | Paper |
The part-time parliament
Concurrency: the Works of Leslie Lamport | 2020-11-10 | Paper |
Time, clocks, and the ordering of events in a distributed system
Concurrency: the Works of Leslie Lamport | 2020-11-10 | Paper |
The computer science of concurrency: the early years
Concurrency: the Works of Leslie Lamport | 2020-11-10 | Paper |
A new solution of Dijkstra's concurrent programming problem
Concurrency: the Works of Leslie Lamport | 2020-11-10 | Paper |
How to make a microprocessor computer that correctly executes multiprocess programs
Concurrency: the Works of Leslie Lamport | 2020-11-10 | Paper |
| If you're not writing a program, don't use a programming language | 2019-12-09 | Paper |
Open systems in TLA
Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 | 2017-09-29 | Paper |
| Formal specification of a web services protocol | 2013-09-11 | Paper |
Implementing dataflow with threads
Distributed Computing | 2013-06-28 | Paper |
Fast Paxos
Distributed Computing | 2013-06-20 | Paper |
Lower bounds for asynchronous consensus
Distributed Computing | 2013-06-20 | Paper |
Buridan's principle
Foundations of Physics | 2013-01-07 | Paper |
How to write a 21\(^{\text{st}}\) century proof
Journal of Fixed Point Theory and Applications | 2012-12-05 | Paper |
TLA + Proofs
FM 2012: Formal Methods | 2012-11-08 | Paper |
The mailbox problem
Distributed Computing | 2012-02-06 | Paper |
Byzantizing Paxos by refinement
Lecture Notes in Computer Science | 2011-10-28 | Paper |
Computer science and state machines
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
The PlusCal Algorithm Language
Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
The Mailbox Problem
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Checking a Multithreaded Algorithm with + CAL
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Formal specification of a web services protocol
The Journal of Logic and Algebraic Programming | 2007-01-09 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 1950667 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1696684 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1390334 (Why is no real title available?) | 2001-05-06 | Paper |
When does a correct mutual exclusion algorithm guarantee mutual exclusion?
Information Processing Letters | 2000-12-12 | Paper |
| scientific article; zbMATH DE number 1331926 (Why is no real title available?) | 1999-09-30 | Paper |
Proving possibility properties
Theoretical Computer Science | 1999-02-02 | Paper |
Processes are in the eye of the beholder
Theoretical Computer Science | 1998-07-22 | Paper |
| scientific article; zbMATH DE number 1142328 (Why is no real title available?) | 1998-05-14 | Paper |
How to Write a Proof
The American Mathematical Monthly | 1997-12-10 | Paper |
| scientific article; zbMATH DE number 866634 (Why is no real title available?) | 1996-04-16 | Paper |
| scientific article; zbMATH DE number 718149 (Why is no real title available?) | 1995-02-01 | Paper |
Critique of the Lake Arrowhead three
Distributed Computing | 1992-09-27 | Paper |
The existence of refinement mappings
Theoretical Computer Science | 1991-01-01 | Paper |
A theorem on atomicity in distributed algorithms
Distributed Computing | 1990-01-01 | Paper |
On interprocess communication. I: Basic formalism
Distributed Computing | 1986-01-01 | Paper |
On interprocess communication. II: Algorithms
Distributed Computing | 1986-01-01 | Paper |
The mutual exclusion problem
Journal of the ACM | 1986-01-01 | Paper |
The mutual exclusion problem
Journal of the ACM | 1986-01-01 | Paper |
Synchronizing clocks in the presence of faults
Journal of the ACM | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3932376 (Why is no real title available?) | 1985-01-01 | Paper |
The ``Hoare Logic of CSP, and All That
ACM Transactions on Programming Languages and Systems | 1984-01-01 | Paper |
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems | 1983-01-01 | Paper |
The Weak Byzantine Generals Problem
Journal of the ACM | 1983-01-01 | Paper |
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems | 1982-01-01 | Paper |
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems | 1982-01-01 | Paper |
An assertional correctness proof of a distributed algorithm
Science of Computer Programming | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3763282 (Why is no real title available?) | 1982-01-01 | Paper |
Reaching Agreement in the Presence of Faults
Journal of the ACM | 1980-01-01 | Paper |
The Hoare logic of concurrent programs
Acta Informatica | 1980-01-01 | Paper |
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
IEEE Transactions on Computers | 1979-01-01 | Paper |
A New Approach to Proving the Correctness of Multiprocess Programs
ACM Transactions on Programming Languages and Systems | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3628353 (Why is no real title available?) | 1979-01-01 | Paper |
On the proof of correctness of a calendar program
Communications of the ACM | 1979-01-01 | Paper |
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM | 1978-01-01 | Paper |
Proving the Correctness of Multiprocess Programs
IEEE Transactions on Software Engineering | 1977-01-01 | Paper |
Concurrent reading and writing
Communications of the ACM | 1977-01-01 | Paper |
The synchronization of independent processes
Acta Informatica | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3473299 (Why is no real title available?) | 1975-01-01 | Paper |
Multiple byte processing with full-word instructions
Communications of the ACM | 1975-01-01 | Paper |
A new solution of Dijkstra's concurrent programming problem
Communications of the ACM | 1974-01-01 | Paper |
The parallel execution of DO loops
Communications of the ACM | 1974-01-01 | Paper |
An extension of a theorem of Hamada on the Cauchy problem with singular data
Bulletin of the American Mathematical Society | 1973-01-01 | Paper |
Comment on Bell's quadratic quotient method for hash coded searching
Communications of the ACM | 1970-01-01 | Paper |
