Linearizability versus Serializability | Peter Bailis
www.bailis.org