"Proving Lock-Freedom Easily and Automatically."

Xiao Jia, Wei Li, Viktor Vafeiadis (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics