马西莫·巴托莱蒂;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺 会话类型的语义解构。 (英文) Zbl 1417.68115号 Baldan,Paolo(编辑)等人,CONCUR 2014–并发理论。第25届国际会议,CONCUR 2014,罗马,意大利,2014年9月2-5日。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。8704, 402-418 (2014). 摘要:我们通过在标记转换系统的抽象设置中重新访问会话类型,来研究会话类型的语义基础。关键的见解是模拟关系,它概括了通常的语法导向的类型和子类型概念,并包括同步和异步二进制会话类型。这使我们能够将会话类型理论扩展到会话类型文献中通常不考虑的一些常见编程模式。关于整个系列,请参见[Zbl 1295.68016号]. 引用于10文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,Lect。注释计算。科学。8704、402--418(2014;Zbl 1417.68115) 全文: 内政部 链接