Automated Detection of Serializability Violations under Weak Consistency

Publication
International Conference on Concurrency Theory
Date
Links