@第{zbMATH06732307条，作者={库兹涅佐夫，彼得·佩里，萨提亚}，标题={事务内存中的非干涉和本地正确性}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积＝{688}，页码={103--116}，年份={2017年}，语言={英语}，DOI={10.1016/j.tcs.2016.06.021}，关键词={68N30,68M14,68N19,68Q85}，zbMATH＝{6732307}，Zbl={1371.68052}}