Linearizability-versus-serializability
bailis.org