"Effective lock handling in stateless model checking."

Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics