拉希德·格拉乌伊;米查尔·卡帕尔卡 基于锁的事务内存中进程的语义。 （英文） Zbl 1315.68065号 第36届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’09，美国佐治亚州萨凡纳，2009年1月18日至24日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。404-415 (2009). 引用于12文件 MSC公司： 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 68问题55 计算理论中的语义学 关键词：共识数字;不可能;锁;下限;减少;语义学;事务性存储器;尝试锁定 PDF格式BibTeX公司 XML格式引用 \textit{R.Guerraoui}和\textit{M.Kapalka}，摘自：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，美国佐治亚州萨凡纳，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。404--415（2009年；Zbl 1315.68065） 全文： 内政部 链接