Lecture 7

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

The Next Video

Implementation - Part 1