This web page was written on:
30 August 2021
The video was produced on:
12 August 2017
Stop the video and right-click on the
following links
to download the files:
-
PaxosCommit. tla
-
Consensus
on Transaction Commit