×
马尔科·卡博尼;法布里西奥·蒙泰西

死锁自由设计，多方异步全局编程。 （英语） Zbl 1301.68097号

2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。263-274 (2013).

引用于35文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68问题55 计算理论中的语义学

关键词：

编舞;并发;会议;类型

软件：

朱莉
PDF格式BibTeX公司 XML格式引用
\textit{M.Carbone}和\textit{F.Montesi}，in：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。263-274（2013；Zbl 1301.68097）
全文： 内政部