También: raft, paxos

Algorithms that let distributed nodes agree on shared state despite failures. Covers Raft and Paxos, leader election, replicated logs, and the trade-offs behind strongly consistent systems.