BibTeX Entry |
@inproceedings{guerraoui:correctness-TM:PPoPP:2008, author = {Guerraoui, Rachid and Kapalka, Michal}, title = {On the Correctness of Transactional Memory}, booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming ({PPoPP'08})}, year = {2008}, pdf = {http://lpd.epfl.ch/kapalka/files/opacity-ppopp08.pdf} }