Linearizability

Linearizability makes concurrent operations look like one real-time-respecting sequence.

For example, after a write finishes, a later read must not return the value that existed before that write.