21 citations · 38 across the 2 of their papers we have counts for
2 papers
cs.LO2008★ 17 cited
A TLA+ Proof System
Kaustuv C. Chaudhuri, Damien Doligez, Leslie Lamport +1
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The l…
cs.DC2004★ 21 cited
Consensus on Transaction Commit
Jim Gray, Leslie Lamport
The distributed transaction commit problem requires reaching agreement on whether a transaction is committed or aborted. The classic Two-Phase Commit protocol blocks if the coordin…