Characterizing Transactional Memory Consistency Conditions Using Observational Refinement

Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky. Characterizing Transactional Memory Consistency Conditions Using Observational Refinement. Journal of the ACM, 65(1), 2018. [doi]

Abstract

Abstract is missing.