Automated Detection of Serializability Violations Under Weak Consistency.

Kartik Nagar, Suresh Jagannathan

Browse the full CONCUR paper archive.