"Finding incorrect compositions of atomicity."

Peng Liu, Julian Dolby, Charles Zhang (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics