State Machines
Die Hard
T
ransaction Commit
Two-Phase Commit
Paxos Commit
Impl:
Preliminaries