%0 Journal Article %1 journals/tcs/KuznetsovP17 %A Kuznetsov, Petr %A Peri, Sathya %D 2017 %J Theor. Comput. Sci. %K dblp %P 103-116 %T Non-interference and local correctness in transactional memory. %U http://dblp.uni-trier.de/db/journals/tcs/tcs688.html#KuznetsovP17 %V 688

@article{journals/tcs/KuznetsovP17, added-at = {2017-12-28T00:00:00.000+0100}, author = {Kuznetsov, Petr and Peri, Sathya}, biburl = {https://www.bibsonomy.org/bibtex/2ada68946d818f3c6227487d45d83701f/dblp}, ee = {https://doi.org/10.1016/j.tcs.2016.06.021}, interhash = {a79c314639ce7dccbd25ee01a8a0c4a4}, intrahash = {ada68946d818f3c6227487d45d83701f}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {103-116}, timestamp = {2017-12-29T12:00:19.000+0100}, title = {Non-interference and local correctness in transactional memory.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs688.html#KuznetsovP17}, volume = 688, year = 2017 }