Quantitative Reasoning for Proving Lock-Freedom.

Jan Hoffmann, Michael Marmar, Zhong Shao

Browse the full LICS paper archive.