达米亚诺·马扎;Neil J.罗斯。 对称交互组合子集模型的完全抽象。 (英语) Zbl 1352.68187号 Birkedal,Lars(编辑),软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012,该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28728-2/pbk)。计算机科学课堂讲稿7213,316-330(2012)。 摘要:对称交互组合子是一种基于Lafont交互网络(一种特殊的图形重写形式)的分布式确定性计算模型。对称交互组合子的兴趣在于它们的普遍性,即它们可以对所有其他交互网络系统进行编码;例如,对称交互组合子中的lambda-calculus有几种实现方式,与Lamping的共享图有关,以实现最佳约简。Lafont、Fernandez和Mackie以及第一作者为该系统引入了一定数量的观测等价物。在本文中,我们使用一类基于点集的非常简单的指称模型来研究关于这些等价项之一的完全抽象问题。关于整个系列,请参见[Zbl 1238.68011号]. 理学硕士: 68问题85 并发和分布式计算的模型和方法(过程代数、互模拟、转换网等) 03B40型 组合逻辑与lambda演算 2012年第68季度 语法和重写系统 68问题55 计算理论中的语义学 关键词:交互网络;观察等价;指称语义学 PDF格式BibTeX公司 XML格式引用 \textit{D.Mazza}和\textit{N.J.Ross},莱克特。注释计算。科学。7213、316-330(2012;Zbl 1352.68187) 全文: 内政部