Vector Clocks

Track causality across distributed processes: increment on local events, merge on message receipt, and compare clocks to tell causal ordering from true concurrency.