送信者がメッセージをbroadcast。msgにはIDがある
受信者はメッセージが到着したら以下の操作を行う
もしキューに同一IDのメッセージがあれば受信しない
到着時のlamport clockをpriorityとして設定
undeliverableマークを付け、キュー(priority付き)に入れる
送信者は指定時間返信を待ち、
返信が来ないプロセッサに先と度同じIDを用いて再送信
全ての返信を受信したら、その中で最大のpriorityをbroadcast
受信者はpriorityを受信したら
メッセージのpriorityを更新し、deliverableマークをつける
キューの先頭からdeliverableなメッセージを順に受信する