3 ms·Consensus and atomic broadcast. Paxos, raft, zab. Formal methods.by tylertreat 12y agoConsensus and atomic broadcast. Paxos, raft, zab. Formal methods.