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