Linearizability: A correctness condition for concurrent objects
muratbuffalo.blogspot.com
muratbuffalo.blogspot.com
The articles then define various, weaker, forms of what they (incorrectly) categorize as causal consistency, apparently to discredit Jepsen's analyses, and to support MongoDB's marketing claims.
Disappointing stuff.