Syllabus

Lectures:

  1. Introduction
  2. Formal models
  3. Basic abstractions
  4. Failure detectors
  5. Reliable broadcast
  6. Causal broadcast
  7. Shared memory
  8. Consensus
  9. Paxos
  10. Sequence consensus and Sequence Paxos
  11. Reconfiguration
  12. Time and clocks

See the Readings page for how lectures map to chapters in the course book.

Feedback News