Time Model – Why Ordering Is Harder Than It Looks
In distributed systems, time is not shared. Ordering events requires reasoning about causality, not clocks.
Time Model
System Models – How Distributed Systems See the World
A system model is not how the world actually behaves. Instead, it is a simplified set of assumptions about how a distributed system might behave — assumptions that allow engineers to design, analyze, and reason about correctness.