Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

by Martin Kleppmann

summary, it is safest to assume that a leaderless system with Dynamo-style replication does not provide linearizability.