Distributed clocks and event ordering

Knowledge package outline

Topic

Computation and software foundations

Purpose

Separates wall-clock time from causal order.

Package contents

Lamport diagrams; skew examples; partial orders.

Dependencies

Concurrency; networks.