Sequential verification of serializability.

Hagit Attiya, G. Ramalingam, Noam Rinetzky

Browse the full POPL paper archive.