本田、高黑;吉田、Nobuko;马尔科·卡博尼 多方异步会话类型。 （英语） Zbl 1426.68047号 美国临床医学杂志 63，第1号，第9条，67页（2016年）. 引用于53文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：会话类型;全球协议;全局类型;Pi演算 PDF格式BibTeX公司 XML格式引用 \textit{K.Honda}等人，J.ACM 63，第1号，第9条，67页（2016年；Zbl 1426.68047） 全文： 内政部 链接