Patterns of Distributed Systems.

Lamport Clock.

Use logical timestamps as a version for a value to allow ordering of values across servers.