The semantics of progress in lock-based transactional memory (2009)

by R Guerraoui, M Kapalka
Venue:In ACM SIGPLAN Notices