Consensus Protocols
Viewstamped Replication
https://brooker.co.za/blog/2014/05/19/vr.html
Raft
https://en.wikipedia.org/wiki/Raft_(computer_science)
Paxos
https://en.wikipedia.org/wiki/Paxos_(computer_science)
Jepsen, framework for distributed systems verification, with fault injection
https://github.com/jepsen-io/jepsen
last updated july 2019