拉希德·格拉乌伊;卡帕·卡、米查·卡 交易记忆：理论的曙光（特邀论文）。 （英语） Zbl 1242.68056号 Bouajjani，Ahmed（编辑）等人，《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02657-7/pbk）。计算机科学讲座笔记5643，1-15（2009）。 摘要：事务性内存（TM）是并发编程的一个很有前途的范例。本文概述了我们最近在定义TM理论方面的理论工作。我们首先回顾了TM的一些正确性属性，然后概述了关于TM固有能力和局限性的结果。关于整个系列，请参见[Zbl 1165.68004号]. 引用于6文件 MSC公司： 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） PDF格式BibTeX公司 XML格式引用 \textit{R.Guerraoui}和\textit{M.Kapałka}，Lect。注释计算。科学。5643，1--15（2009；Zbl 1242.68056） 全文： 内政部