交易人员 swMATH ID: 20929 软件作者： 约翰·菲尔德（John Field）；卡洛斯·瓦雷拉。 描述： Transactors：在不可靠的环境中维护全局一致的分布式状态的编程模型。我们引入了事务器（transactors），这是一种容错编程模型，用于将运行在不可靠环境（如互联网）中的松散耦合分布式组件组合成可靠地维护全球一致分布式状态的系统。事务处理器模型包含了传统事务处理的某些元素，但允许以不同的方式组合这些元素，而无需集中协调，从而从语义角度促进了分布式容错的研究。我们通过τ-演算（一种基于参与者模型的扩展lambda-calculus）形式化了我们的方法，并通过一些示例说明了它的用法。τ-演算包含分布式进程可以用来创建全局一致性检查点的构造。我们为τ-演算提供了一种操作语义，并形式化了以下安全性和活性属性：首先，我们证明了全局一致检查点在没有任何节点故障或应用程序级故障的情况下具有等效的执行跟踪，其次，我们证明，如果存在检查点发生的有界无故障间隔，则可以达到全局一致的检查点 主页： http://dl.acm.org/citation.cfm？doid=1040305.1040322 关键词： 演员；分布式状态；牛磺酸钙；交易人 相关软件： 埃尔朗；考德；Uppaal公司；卡米洛特；琳达；科莱姆；克拉瓦；AmbientTalk公司；木材；西尔克；积极主动 引用于： 6文件 全部的 前5名16位作者引用 三 伊万·拉内斯 2 克劳迪奥·安塔雷斯·梅齐纳 1 约翰·埃弗雷特·菲尔德 1 马西耶·加兹达。 1 埃琳娜·贾奇诺 1 菲利普·哈勒 1 轩尼诗，Matthew C.B。 1 瓦西里欧斯·库塔瓦斯 1 直纪西田 1 马丁·奥德斯基 1 阿德里安·帕拉西奥斯。 1 阿兰·施密特 1 Jean-Bernard斯特凡尼 1 弗朗西斯科·蒂埃齐 1 卡洛斯·瓦雷拉。 1 德国维达尔 3篇连载文章中引用 2 程序设计中的逻辑和代数方法杂志 1 理论计算机科学 1 信息与计算 在2个字段中引用 6 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文