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).

Event Log