- The network model, the threshold adversary model, and the power of the adversary.
- Definition of Consensus and Agreement
- State Machine Replication for crash failures.
- ideal state machine model and Linearizability.
- Consensus with Omission failures (Paxos) from Recoverable Broadcast.
- Consensus with Omission failures requires $f<n/2$.