×
A.克拉珀。

分布式事件代数。 （英语） Zbl 0756.68034号

J.计算。系统。科学。 44，编号3，411-424（1992年）。
介绍了分布式事件代数或（D）-代数是分布式计算的一般模型。它推广了Lynch的事件状态代数。它由一组节点、一组状态和一组从全局状态空间到自身的部分操作组成。每个操作都有一个位置（执行操作的节点），某些操作对称为串行操作。也就是说，他们的执行顺序很重要\（D）-代数有两个映射概念。其中一个（解释）是在操作级别上操作的（将执行映射到执行）。另一个（可能性映射）在操作和状态的级别上操作（将一个系统的每个状态映射到另一个系统可能的一组状态）\（D\）-代数允许使用层次证明技术。正确性的证明由一系列由高阶到低阶的（D）-代数组成，由一系列保持正确性的映射连接而成，并由一系列高阶（D）代数的正确性证明组成。
审核人：D.Gruska（布拉迪斯拉发）

MSC公司：

2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68宽15 分布式算法
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

正确性的分层证明;分布式算法;事件状态代数
PDF格式BibTeX公司 XML格式引用
\textit{A.Klapper}，J.计算。系统。科学。44，第3号，411--424（1992；Zbl 0756.68034）
全文： 内政部

参考文献：

[1] 背面，R。；Kurki-Soonio，R.，集中控制过程网络的分散，（第二届ACM分布式计算原理年度研讨会论文集（1983）），131-142
[2] Fekete，A。；林奇，N。；Merritt，M。；Weihl，W.，《原子交易理论》（技术报告TM-362（1988），麻省理工学院计算机科学实验室：麻省理工大计算机科学实验室，马萨诸塞州剑桥）·Zbl 0663.68022号
[3] Gallager，R。；Humblet，P。；Spira，P.，最小权生成树的分布式算法，ACM Trans。掠夺。语言系统。，5, 66-77 (1983) ·Zbl 0498.68040号
[4] Goree，J.，具有孤立检测的分布式事务系统的内部一致性，（麻省理工学院论文，技术报告TR-286（1983），麻省理工学院计算机科学实验室：麻省理工学院计算机科学实验室，马萨诸塞州剑桥）
[5] Gries，D.，《编程科学》（1983），施普林格出版社：施普林格出版社，柏林
[6] Hoare，C.A.R.，通信顺序过程，Commun。ACM，21，666-677（1978）·Zbl 0383.68028号
[7] Lynch，N.，《弹性嵌套事务的并发控制》（技术报告TR-285（1983），麻省理工学院计算机科学实验室：麻省理学学院计算机科学剑桥实验室，马萨诸塞州）
[8] 林奇，N。；Tuttle，M.，《分布式算法的层次正确性证明》，（技术报告TR-387（1987），麻省理工学院计算机科学实验室：麻省理学院计算机科学剑桥实验室，马萨诸塞州）
[9] 林奇，N。；Tuttle，M.，《输入/输出自动机导论》（《技术报告TM-373》（1988），麻省理工学院计算机科学实验室：麻省理学学院计算机科学剑桥实验室，马萨诸塞州）·Zbl 0677.68067号
[10] Peterson，J.，《Petri网理论和系统建模》（1981年），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·兹比尔0461.68059
[11] Pinter，S。；Wolper，P.，《关于部分有序编译推理的时间逻辑》，（第三届分布式计算原理年度ACM研讨会论文集。第三届ACM分布式计算原理研讨会论文集，加拿大不列颠哥伦比亚省温哥华（1984）），28-37
[12] Sere，K.，分布式算法中虚拟信道的逐步删除，（第二届分布式算法国际研讨会论文集。第二届分布算法国际研讨会文献集，荷兰阿姆斯特丹（1987）），408-428
[13] Stark，E.，《分布式系统规范理论基础》（博士论文，技术报告TR-342（1984），麻省理工学院计算机科学实验室：麻省理学学院计算机科学剑桥实验室，马萨诸塞州）
[14] 韦尔奇，J。；Lamport，L。；Lynch，N.，最小生成树算法的格结构证明，（第七届分布式计算原理年度研讨会论文集。第七届分布计算原理年度会议论文集，加拿大安大略省多伦多（1988），MIT计算机科学实验室：麻省理工学院计算机科学实验室，马萨诸塞州剑桥），28-43，技术备忘录TM-361中的扩充版
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。