On the correctness of transactional memory.

Rachid Guerraoui, Michal Kapalka

Browse the full PPoPP paper archive.