德尼卢，皮埃尔·马洛;吉田、Nobuko 动态多角色会话类型。 （英语） Zbl 1284.68049号 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。435-446（2011年）。 引用于18文件 MSC公司： 68M10个 计算机系统中的网络设计和通信 68个M12 网络协议 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68平方米 计算机系统环境下的性能评估、排队和调度 关键词：拍卖;通信;动态协议;合页;移动进程;多党制;点对点;角色;会话类型 PDF格式BibTeX公司 XML格式引用 \textit{P.-M.Deniélou}和\textit{N.Yoshida}，摘自：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26-28日。纽约州纽约市：计算机机械协会（ACM）。435--446（2011年；Zbl 1284.68049） 全文： DOI程序