Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky. Characterizing Transactional Memory Consistency Conditions Using Observational Refinement. Journal of the ACM, 65(1), 2018. [doi]
@article{AttiyaGHR18,
title = {Characterizing Transactional Memory Consistency Conditions Using Observational Refinement},
author = {Hagit Attiya and Alexey Gotsman and Sandeep Hans and Noam Rinetzky},
year = {2018},
doi = {10.1145/3131360},
url = {http://doi.acm.org/10.1145/3131360},
researchr = {https://researchr.org/publication/AttiyaGHR18},
cites = {0},
citedby = {0},
journal = {Journal of the ACM},
volume = {65},
number = {1},
}