Petr Kuznetsov, Sathya Peri. Non-interference and local correctness in transactional memory. Theoretical Computer Science, 688:103-116, 2017. [doi]
@article{KuznetsovP17, title = {Non-interference and local correctness in transactional memory}, author = {Petr Kuznetsov and Sathya Peri}, year = {2017}, doi = {10.1016/j.tcs.2016.06.021}, url = {https://doi.org/10.1016/j.tcs.2016.06.021}, researchr = {https://researchr.org/publication/KuznetsovP17}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {688}, pages = {103-116}, }