定義 正しい全体状態(Consistent Global State)は、あるプロセスでメッセージ$m$が受信されているならば、メッセージ$m$を送信しているプロセスが存在している状態である。 - 正しいというか、矛盾がない状態(kekeho) [#p2p](p2p) [#分散システム](分散システム.md)