Quantitative reasoning for proving lock-freedom. In (2013)

by J Hoffmann, M Marmar, Z Shao
Venue:LICS,