%0 Journal Article %1 journals/jacm/AttiyaGHR18 %A Attiya, Hagit %A Gotsman, Alexey %A Hans, Sandeep %A Rinetzky, Noam %D 2018 %J J. ACM %K dblp %N 1 %P 2:1-2:44 %T Characterizing Transactional Memory Consistency Conditions Using Observational Refinement. %U http://dblp.uni-trier.de/db/journals/jacm/jacm65.html#AttiyaGHR18 %V 65

@article{journals/jacm/AttiyaGHR18, added-at = {2019-09-16T00:00:00.000+0200}, author = {Attiya, Hagit and Gotsman, Alexey and Hans, Sandeep and Rinetzky, Noam}, biburl = {https://www.bibsonomy.org/bibtex/2b2d522ac6d77b9ca6f64f7adfe1e987a/dblp}, ee = {https://doi.org/10.1145/3131360}, interhash = {a61c034af1a5ff33f6f9ba60be0f1eb2}, intrahash = {b2d522ac6d77b9ca6f64f7adfe1e987a}, journal = {J. ACM}, keywords = {dblp}, number = 1, pages = {2:1-2:44}, timestamp = {2019-09-17T11:53:15.000+0200}, title = {Characterizing Transactional Memory Consistency Conditions Using Observational Refinement.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm65.html#AttiyaGHR18}, volume = 65, year = 2018 }