Proving that non-blocking algorithms don’t block. (2009)

by A Gotsman, B Cook, M J Parkinson, V Vafeiadis
Venue:In POPL. ACM,