@article{KUZNETSOV2017103,
title = "Non-interference and local correctness in transactional memory",
journal = "Theoretical Computer Science",
volume = "688",
number = "",
pages = "103 - 116",
year = "2017",
note = "Distributed Computing and Networking",
issn = "0304-3975",
doi = "http://dx.doi.org/10.1016/j.tcs.2016.06.021",
url = "http://www.sciencedirect.com/science/article/pii/S0304397516302572",
author = "Petr Kuznetsov and Sathya Peri",
keywords = "Software transactional memory",
keywords = "Correctness criterion",
keywords = "Opacity",
keywords = "Non-interference",
keywords = "Permissiveness"
}