Happens-Before Relation

Die "Happens-Before"-Relation (notiert als $\to$) definiert eine partielle Ordnung von Ereignissen in verteilten Systemen:

1. Wenn Ereignis $a$ und $b$ im selben Prozess stattfinden und $a$ vor $b$ ausgeführt wird, dann $a\to b$.
2. Wenn $a$ das Senden einer Nachricht und $b$ der Empfang dieser Nachricht ist, dann $a\to b$.
3. Transitivität: Wenn $a\to b$ und $b\to c$, dann $a\to c$.
   Zwei Ereignisse sind nebenläufig (concurrent, $a||b$), wenn weder $a\to b$ noch $b\to a$ gilt.