(Enter summary)
Abstract: Self-stabilizing protocols can resist transient failures and guarantee system recovery in a finite time. We highlight the connexion between the formalism of self-stabilizing distributed systems and the formalism of generalised path algebra and asynchronous iterations with delay. We use the later to prove that a local condition on locally executed algorithm (being a strictly idempotent r-operator) ensures self-stabilization of the global system. As a result, a parametrized distributed algorithm... (Update)
Cited by: More
Self-stabilization with r-operators in Unreliable.. - Delaet, Ducourthial..
(Correct)
Similar documents (at the sentence level):
10.0%: Self-Stabilizing Global Computations With R-Operators - Ducourthial, Tixeuil (1998)
(Correct)
Active bibliography (related documents): More All
0.8: Self-Stabilization Bibliography: Access Guide - Herman (1998)
(Correct)
0.5: Stochastic Models For Performance Analyses Of Iterative.. - Casanova (1998)
(Correct)
0.5: Stochastic Performance Prediction for Iterative Algorithms.. - Casanova, Thomason
(Correct)
Similar documents based on text: More All
0.4: Self-stabilizing Sorting on Unidirectional Rings - Beauquier, Datta, Tixeuil
(Correct)
0.3: Self-Stabilizing Wormhole Routing on Ring Networks - Datta, Gradinariu.. (2002)
(Correct)
0.2: Self-stabilizing Vertex Coloring of Arbitrary Graphs - Gradinariu, Tixeuil (2000)
(Correct)
BibTeX entry: (Update)
B Ducourthial and S Tixeuil. Self-stabilization with path algebra. Theoretical Computer Science, 293(1):219-236, 2003. http://citeseer.ist.psu.edu/ducourthial03selfstabilization.html More
@inproceedings{ ducourthialselfstabilization,
author = "B. Ducourthial and S. Tixeuil",
title = "{Self-Stabilization} with Path Algebra",
pages = "95--140",
url = "citeseer.ist.psu.edu/ducourthial03selfstabilization.html" }
Citations (may not include all citations):
340
Self-Stabilizing Systems in Spite of Distributed Control (context) - Dijkstra - 1974
150
Introduction to Distributed Algorithms (context) - Tel - 1994
118
Self Stabilization of Dynamic Systems Assuming Only Read/Wri.. (context) - Dolev, Israeli et al. - 1993
109
Self-stabilization (context) - Schneider - 1993
78
Self-stabilization by Local Checking and Correction
- Awerbuch, Patt-Shamir et al. - 1991
58
Asynchronous Iterative Methods for Multiprocessors (context) - Baudet - 1978
41
Memory-efficient self-stabilization on general networks (context) - Afek, Kutten et al. - 1990
34
SuperStabilizing Protocols for Dynamic Distributed Systems
- Dolev, Herman - 1997
26
Memory Requirements for Silent Stabilization (context) - Dolev, Gouda et al. - 1996
24
Uniform Self-stabilizing Ring Orientation (context) - Israeli, Jalfon - 1993
18
Sufficient conditions for the convergence of asynchronous it.. (context) - Uresin, Dubois - 1989
16
Self-stabilization by Local Checking and Global Reset
- Awerbuch, Patt-Shamir et al. - 1994
16
Self-stabilization with Global Rooted Synchronizers (context) - Alima, Beauquier et al. - 1998
12
Convergence of Iteration Systems
- Arora, Attie et al. - 1993
8
Parallel Asynchronous Algorithms for Discrete Data (context) - Uresin, Dubois - 1990
7
A Self-stabilizing Algorithm for the Shortest Paths Problem .. (context) - Tsai, Huang - 1994
6
volume 1 of Cambridge International Series on Parallel Compu.. (context) - Tel, Distributed - 1991
6
Self-stabilizing mutual exclusion on directed graphs
- Alstein, Hoepman et al. - 1994
6
Effects of asynchronism on the convergence rate of iterative.. (context) - Uresin, Dubois - 1996
5
Asynchronous Iterative Algorithms with Flexible Communicatio.. (context) - Baz, Spiteri et al. - 1996
4
A Self-Stabilizing Shortest Path Algorithm in a DAG (context) - Bourgon, Das et al. - 1995
4
New Operators for Computing with Associative Nets (context) - Ducourthial - 1998
4
Flow Routing in Computer networks
- Schneider - 1997
2
Fast parallel algorithms for all-sources lexicographic searc.. (context) - Torre, Kruskal - 1995
1
emes de cheminement dans les graphes : th (context) - Minoux, g'en'eralis'ee - 1976
1
Self-stabilizing Global Computations with roperators
- Ducourthial, Tixeuil - 1998
1
Self-stabilizing Unidirectionnal Network Algorithms by Power.. (context) - Afek, Bremler - 1998
1
ele de programmation `a parall (context) - Ducourthial, Associatifs et al. - 1999
1
Series in Probability and Mathematical Statistics (context) - Baccelli, Cohen et al. - 1992
1
ebre lin'eaire et cheminement dans un graphe (context) - Gondran - 1975
1
a retards. Revue Francaise d (context) - Miellou, chaotique - 1975
Documents on the same site (http://www.lri.fr/~tixeuil/ResearchIndex.html): More
Self-Stabilizing Global Computations With R-Operators - Ducourthial, Tixeuil (1998)
(Correct)
Self-Stabilizing Mutual Exclusion Using Unfair.. - Datta, Gradinariu.. (2000)
(Correct)
Self-stabilization in Eulerian Networks with Cut-through .. - Beauquier, Kutten.. (1999)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC