@phdthesis{fraser:practical:thesis:2003, author = {Fraser, Keir}, title = {Practical lock freedom}, year = {2003}, school = {Cambridge University Computer Laboratory}, note = {Also available as Technical Report UCAM-CL-TR-579}, }