塔伊芬·埃尔马斯;沙兹·卡迪尔;塞尔达尔·塔西兰 原子作用的微积分。 （英语） Zbl 1315.68087号 2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。2-15 (2009). 引用于10文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68甲15 编程语言理论 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 关键词：抽象;原子性;并发程序;减少 PDF格式BibTeX公司 XML格式引用 \textit{T.Elmas}等人，in：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机机械协会（ACM）。2--15（2009年；Zbl 1315.68087） 全文： DOI程序