Existential consistency: measuring and understanding consistency at Facebook
Linearizability: a correctness condition for concurrent objects