List of works - Leslie Lamport

A new solution of Dijkstra's concurrent programming problem

Checking a Multithreaded Algorithm with + CAL

Composing specifications

Concurrent and Distributed Systems

Constructing digital signatures from a one-way function

article published in 1979

Distributed snapshots: determining global states of distributed systems

scientific article (publication date: February 1985)

How to Write a Proof

On interprocess communication

article by Leslie Lamport published June 1986 in Distributed Computing

On-the-fly garbage collection: an exercise in cooperation

article by Edsger W. Dijkstra et al published 1 November 1978 in Communications of the ACM

Password authentication with insecure communication

article by Leslie Lamport published 1 November 1981 in Communications of the ACM

Reconfiguring a state machine

article published in 2010

Solved problems, unsolved problems and non-problems in concurrency

article published in 1985

The Byzantine Generals Problem ⬇️

article

The Part-Time Parliament ⬇️

The PlusCal Algorithm Language

The implementation of reliable distributed multiprocess systems

The mutual exclusion problem: partII---statement and solutions

The temporal logic of actions

Time, clocks, and the ordering of events in a distributed system

article published in 1978

Turing lectureThe computer science of concurrency

scholarly article by Leslie Lamport published 21 May 2015 in Communications of the ACM

List of works by Leslie Lamport