[justinsheehy]

Lamport's logical clocks work across multiple nodes, but they can lose information about causality.

Hence Mattern's extensions to Lamport's work, which introduce the idea of vector clocks.