Calculus of Concurrent Probabilistic Reversible Processes
Calculus of Concurrent Probabilistic Reversible Processes
复制标题
并发概率可逆过程的计算
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Divya Kumar
中科院分区：
文献类型：
--
作者：
Arpit;Divya Kumar
概率可逆分布式系统如今被广泛应用。这类系统的最佳实例是通信协议，它基于探测器在分布式环境中进行通信。这类协议的一个例子是零配置协议，它将未使用的链路本地IPv4地址分配给请求节点。分布式系统在与其子系统通信方面相当复杂。此外，当在概率环境中进行分布式计算时，复杂性会进一步增加。当这样一个概率分布式系统实施容错策略时，又会增加一个复杂性维度。因此，为确保如此复杂系统的正确性，需要严格的验证和分析。本文的目的是提出一个名为并发概率可逆进程演算（CCPRP）的框架，以便正式定义概率可逆分布式系统并对其进行验证。此外，CCPRP已被用于对零配置协议进行建模。
Probabilistic reversible distributed systems are widely used now days. The best instance of such a system is communication protocol, which is based on the probes to carry out the communication in distributed environment. One of examples of such a protocol is Zero Conf protocol, which assigns unused link-local IPv4 addresses to the requesting nodes. Distributed systems are quite complex with respect to communications with its sub-systems. Moreover, when distributed computation is carried out in probabilistic environment further enhancement in complexity. When such a probabilistic distributed system implements fault tolerant strategy then one more dimension of complexity get added. Therefore, to ensure the correctness of such a complex system, rigorous verification and analysis are required. The objective of this paper is to present a framework named as Calculus of concurrent probabilistic reversible processes (CCPRP) in order to formally define probabilistic reversible distributed system and to carry out its verification. Moreover, CCPRP has been used to model Zero Conf protocol.
马尔可夫链的交互式验证：两个分布式协议案例研究
DOI：
10.4204/eptcs.103.2
发表时间：
2012
期刊：
影响因子：
--
作者：
Johannes Hölzl;Tobias Nipkow
通讯作者：
Tobias Nipkow