LC timestamp is an integer local to every process
LC(P) incremented after every step of P
LC(P) added to M every time P sends M
LC(P) adjusted to max(LC(M),LC(P)) every time P receives M
A ≺ B ⇒ LC(A) < LC(B)