author-photo

Leslie Lamport

Microsoft
SRI International
CA Technologies

323

Papers

57884

Citations

Citation Trend

Filter By

Papers (323) Sort By

Journal Conference Others

Verifying Hyperproperties With TLA

2021 CSF | IEEE Computer Security Foundations Symposium
- Leslie Lamport
- Fred B. Schneider
Show All
- Source
- Cite
- Save
Citations (0)
The mutual exclusion problem: part I - A theory of interprocess communication.

2019
- Leslie Lamport
Show All
- Source
- Cite
- Save
Citations (3)
A new solution of Dijkstra's concurrent programming problem

2019 Concurrency and Computation: Practice and Experience
- Leslie Lamport
Show All
- Source
- Cite
- Save
Citations (6)
The TLA+ Toolbox

2019
Show All
- Source
- Cite
- Save
Citations (8)
The TLA+ Toolbox

2019 arXiv: Software Engineering
Show All
- Source
- Cite
- Save
Citations (2)
The Byzantine generals problem.

2019
Show All
- Source
- Cite
- Save
Citations (105)
The mutual exclusion problem: part II - Statement and solutions.

2019
- Leslie Lamport
Show All
- Source
- Cite
- Save
Citations (13)
The computer science of concurrency: the early years

2019
- Leslie Lamport
Show All
- Source
- Cite
- Save
Citations (0)
The part-time parliament.

2019
- Leslie Lamport
Show All
- Source
- Cite
- Save
Citations (26)
Time, clocks, and the ordering of events in a distributed system.

2019
- Leslie Lamport
Show All
- Source
- Cite
- Save
Citations (90)