- [[Consensus algorithm]] - [[Leader-followerモデルのコンセンサスアルゴリズム]] - 前提条件 - [[Partially synchronous system]] - プロセス間のコミュニケーションはunreliable - メッセージの[[Omission fault]], Duplication、リオーダーなどが起こり得る - 破損したメッセージは検出できる想定 - すべての操作は決定論的 - [[Crash-fault torelant]] # 論文 - [[The Part-Time Parliament]]（元論文） - [[Paxos Made Simple]]（Paxosをより丁寧に解説した論文） # 解説 - [https://www.slideshare.net/tyonekura/paxos-63835103](https://www.slideshare.net/tyonekura/paxos-63835103)