Proof — Lamport timestamps

Statement

Logical clocks; distributed consensus; TLA+. Proved in ZFC.

Source

ACM Turing Award 2013. Logical clocks; distributed consensus; TLA+. Proved in ZFC.

Domains

computer-science

People

• Leslie Lamport

Related

• Theorem: Lamport timestamps
• Proof: Lamport timestamps

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People