Synchronizing Logical Clocks
If a and b are events in the same process, and a occurs before b, than a => b.
If a is the event of a message being sent by one process, and b is the event of the message being received by another process than a => b.
Real time is not important. We care about the
The “happens before” relation => (Lamport):
if a => b then time(a) < time(b)