Lamport Clocks · Logical Time for Causality
unseel.com · L = max(L, msg) + 1 · Lamport 1978
Processes 3
Max L 0
Stage three processes, no shared clock
Local event
Send
Receive (max+1)
Causal chain
Unseel.com · Lamport Clocks