@article{JACM:TM17,
 author = {Attiya, Hagit and Gotsman, Alexey and Hans, Sandeep and Rinetzky, Noam},
 title = {Characterizing Transactional Memory Consistency Conditions Using Observational Refinement},
 journal = {J. ACM},
 issue_date = {January 2018},
 volume = {65},
 number = {1},
 month = dec,
 year = {2017},
 issn = {0004-5411},
 pages = {2:1--2:44},
 articleno = {2},
 numpages = {44},
 url = {http://doi.acm.org/10.1145/3131360},
 doi = {10.1145/3131360},
 acmid = {3131360},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {STMS, Strong Transactional Memory Specification, TMS, Transactional Memory Specification, Transactions, atomicity, correctness conditions, opacity},
}