On the Correctness of Transactional Memory. (2008)

by R Guerraoui, M Kapalka
Venue:In PPoPP,