Paxosアルゴリズム
プロセッサは他の全てのプロセッサにメッセージを送信することが可能である。
メッセージは非同期的に送信され、到達までに任意の時間がかかることがある。
メッセージは失われたり、順序を変更されたり、複製されることがある。
メッセージは破損なしに配信される。(任意の障害を許容する手法として#ビザンチンPaxosを参照のこと)
合意結果(合意値)を v と定義する試みは、アクセプタに対する提案として行われる。 各提案はプロセッサによってユニークな番号が振られる。 番号が振られた提案に対する合意値は Paxos プロトコルを実行する過程で計算されても良いし,そうでなくてもかまわない。