- [[Consensus algorithm]] - [[Leader-followerモデルのコンセンサスアルゴリズム]] - システムモデルとして[[Crash-recovery model]]を仮定している