文章基本信息

标题：Topological Self-Stabilization with Name-Passing Process Calculi
本地全文：下载
作者：Christina Rickmann ; Christoph Wagner ; Uwe Nestmann 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2016
卷号：59
页码：19:1-19:15
DOI：10.4230/LIPIcs.CONCUR.2016.19
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Topological self-stabilization is the ability of a distributed system to have its nodes themselves establish a meaningful overlay network. Independent from the initial network topology, it converges to the desired topology via forwarding, inserting, and deleting links to neighboring nodes. We adapt a linearization algorithm, originally designed for a shared memory model, to asynchronous message-passing. We use an extended localized pi-calculus to model the algorithm and to formally prove its essential self-stabilization properties: closure and weak convergence for every arbitrary initial configuration, and strong convergence for restricted cases.
关键词：Distributed Algorithms; Fault Tolerance; Topological Self-Stabilization; Linearization; Process Calculi