Linearizability versus Serializability | Peter Bailis