https://en.wikipedia.org/wiki/Happened-before 「ハプンドビフォア」は、コンピュータ科学における関係であり、二つのイベント間で一方が他方より先に起こるべき場合、実際の実行順序が最適化のために逆になっていても、その結果が反映されなければならないことを示す。これは、並行システム特に非同期分散システム内のイベントペアの潜在的な因果関係に基づいてイベントを順序付けることを含む。この関係は、厳密な部分順序として定義され、論理的な時計を使用しない限り、分散システムを構成するプロセスはこの関係を知ることができない。この概念はレスリー・ランポートによって定式化された。 オリジナルの文献は[[1978__Communications of the ACM__Time, clocks, and the ordering of events in a distributed system]]