路易斯·凯雷斯;若昂·塞科。 行为分离的类型学科。 （英语） Zbl 1301.68096号 2013年1月23日至25日，意大利罗马，POPL'13，第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。275-286 (2013). MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题55 计算理论中的语义学 68问题65 抽象数据类型；代数规范 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：行为类型;并发;高阶程序设计;干扰;分离 软件：管道 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{J.C.Seco}，摘自：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，2013年1月23日至25日，意大利罗马，POPL'13。纽约州纽约市：计算机协会（ACM）。275--286（2013；Zbl 1301.68096） 全文： DOI程序