Self-stabilizing extensions for meassage-passing systems

@article{Katz2005SelfstabilizingEF,
  title={Self-stabilizing extensions for meassage-passing systems},
  author={Shmuel Katz and K. Perry},
  journal={Distributed Computing},
  year={2005},
  volume={7},
  pages={17-26}
}
SummaryA self-stabilizing program eventually resumes normal behavior even if excution begins in, an abnormal initial state. In this paper, we explore the possibility of extending an arbitrary program into a self-stabilizing one. Our contributions are: (1) a formal definition of the concept of one program being aself-stabilizing extension of another; (2) a characterization of what properties may hold in such extensions; (3) a demonstration of the possibility of mechanically creating such… Expand
62 Citations
Transformations of self-stabilizing algorithms
  • 7
  • PDF
Autostabilisation et protocoles réseau
  • 7
Self-stabilizing multi-token rings
  • 20
Resource Bounds for Self-Stabilizing Message-Driven Protocols
  • 49
  • PDF
Self-Stabilization with r-Operators revisited
  • 38
Self-stabilization with r-Operators Revisited
  • 18
Multicore Constraint-Based Automated Stabilization
  • 20
Observing locally self-stabilization
  • 9
  • PDF
Randomization adaptive self-stabilization
  • 9
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 16 REFERENCES
Self-stabilizing extensions for message-passing systems
  • 219
Convergence/response tradeoffs in concurrent systems
  • M. Gouda, M. Evangelist
  • Computer Science
  • Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing 1990
  • 1990
  • 12
Uniform Self-Stabilizing Rings
  • 76
Self-stabilizing systems in spite of distributed control
  • 2,211
  • PDF
Token Systems that Self-Stabilize
  • 144
Distributed snapshots: determining global states of distributed systems
  • 2,779
  • PDF
Proving termination with Multiset Orderings
  • 450
  • PDF
Modelling knowledge and action in distributed systems
  • 59
A superimposition control construct for distributed systems
  • 223
The mutual exclusion problem: partII—statement and solutions
  • 228
  • PDF
...
1
2
...