Lamport Clocks ·
Logical Time for Causality
un
seel
.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
Play
Pause
Unmute
Reset
Un
seel
.com · Lamport Clocks