Event A causally precedes event B if
A and B are in the same process and A was executed before B,
A is sending message M and B is receiving message M,
there exists C such that A causally precedes C and C causally precedes B.
When A causally precedes B, we write A ≺ B.