汉娜·贡默施塔特;贾利民;弗兰克·芬宁 会话类型的并发合同。 （英语） Zbl 1418.68025号 阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。10801, 771-798 (2018). 摘要：在顺序语言中，动态契约通常表示为布尔函数，没有外部可观察的效果，用语言编写。我们为具有会话类型消息传递并发性的语言提出了一个类似的并发契约概念。并发契约是部分身份过程，用于监视通道上的双向通信，并在违反契约时发出警报。并发合同是以通常的方式进行会话类型化的，并且还必须满足透明度要求，这就保证了在有合同和无合同的情况下终止符合要求的程序在观测上是等价的。我们用几个例子来说明并发合同。我们还展示了如何从精化会话类型系统生成契约，并展示了生成的监控器对于类型良好的程序来说是多余的。关于整个系列，请参见[兹比尔1408.68004]。 引用于7文件 MSC公司： 68甲15 编程语言理论 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 关键词：合同;会话类型;监视器 PDF格式BibTeX公司 XML格式引用 \textit{H.Gommerstadt}等人，Lect。票据计算。科学。10801、771--798（2018；Zbl 1418.68025） 全文： 内政部 链接