This web page was written on:
18 September 2017
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