吉勒姆·贾伯;戴维·桑吉奥吉 游戏、移动流程和功能。 （英语） Zbl 07830381号 Manea，Florin（编辑）等人，第30届EACSL计算机科学逻辑年会，CSL 2022，德国哥廷根，虚拟会议，2022年2月14-19日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。216，第25条，第18页（2022）。 摘要：我们在（lambda）演算的两个模型之间建立了紧密的联系，即Milner对（pi）演算（确切地说，是内部演算）和操作游戏语义（OGS）的编码。我们首先研究由\（\pi\）和OGS提供的编码行为之间的操作对应关系。我们对各种LTS都这样做：标准LTS for \（\pi\）和新的“并发”LTS for OGS；用于\（\pi\）的“输出优先”LTS和用于OGS的标准交替LTS。然后我们证明了所有这些LTS（对于（pi）和OGS）在（lambda）项上诱导的等价性是一致的。这些连接允许我们在\（\pi\）和OGS之间传输结果和技术。特别是，我们将up-to技术从\（\pi\）导入到OGS，并从\（\ pi\）导出OGS的同余和合成结果。这项研究是针对call-by-value进行的；call-by-name也有类似的结果。关于整个系列，请参见[Zbl 1482.68033号]. 理学硕士： 03B70号 计算机科学中的逻辑 关键词：\（lambda \）-微积分;\（\pi\）-微积分;博弈语义 PDF格式BibTeX公司 XML格式引用 \textit{G.Jaber}和\textit{D.Sangiorgi}，LIPIcs——莱布尼茨国际程序。通知。216，第25条，第18页（2022；Zbl 07830381） 全文： 内政部