Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
复制标题
同步分布式算法的参数化模型抽象检验
DOI：
10.1007/978-3-319-73721-8_1
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Florian Zuleger
中科院分区：
文献类型：
--
作者：
Benjamin Aminof;S. Rubin;Ilina Stoilkovska;Josef Widder;Florian Zuleger
近年来，容错分布式算法的参数化验证得到了越来越多的关注。大多数现有的工作考虑异步分布式系统（交错语义）。然而，有相当多的分布式计算文献同步容错分布式算法：概念上，所有的进程进行锁步轮，也就是说，同步步骤的所有（正确的）进程使系统进入下一个状态。
Parameterized verification of fault-tolerant distributed algorithms has recently gained more and more attention. Most of the existing work considers asynchronous distributed systems (interleaving semantics). However, there exists a considerable distributed computing literature on synchronous fault-tolerant distributed algorithms: conceptually, all processes proceed in lock-step rounds, that is, synchronized steps of all (correct) processes bring the system into the next state.
DOI：
10.1007/978-3-662-46081-8
发表时间：
2015
期刊：
--
影响因子：
--
作者：
D. D'Souza;A. Lal;K. Larsen
通讯作者：
D. D'Souza;A. Lal;K. Larsen