"Checking linearizability using hitting families."

Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics