Add Local Event
Send Message
Compare Events
Actions
Legend
Process 0
Process 1
Process 2
Arrows show message passing. Vector clocks track causality: e1 → e2 (happens-before) iff VC(e1) < VC(e2).