Fast and compact self-stabilizing verification, computation, and fault detection of an MST

@article{Korman2011FastAC,
  title={Fast and compact self-stabilizing verification, computation, and fault detection of an MST},
  author={Amos Korman and S. Kutten and T. Masuzawa},
  journal={Distributed Computing},
  year={2011},
  volume={28},
  pages={253-295}
}
This paper demonstrates the usefulness of distributed local verification of proofs, as a tool for the design of self-stabilizing algorithms. In particular, it introduces a somewhat generalized notion of distributed local proofs, and utilizes it for improving the time complexity significantly, while maintaining space optimality. As a result, we show that optimizing the memory size carries at most a small cost in terms of time, in the context of minimum spanning tree (MST). That is, we present… Expand
Brief Announcement: Space-Time Tradeoffs for Distributed Verification
Space-Time Tradeoffs for Distributed Verification
Randomized proof-labeling schemes
Locally Checkable Proofs in Distributed Computing
Locally checkable proofs
A Self-Stabilizing Memory Efficient Algorithm for the Minimum Diameter Spanning Tree under an Omnipotent Daemon
A hierarchy of local decision
Randomized Proof-Labeling Schemes
...
1
2
3
4
...

References

SHOWING 1-10 OF 15 REFERENCES
Locally checkable proofs
Self-Stabilizing Minimum Spanning Tree Construction on Message-Passing Networks
Distributed program checking: a paradigm for building self-stabilizing distributed protocols
  • B. Awerbuch, G. Varghese
  • Computer Science
  • [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science
  • 1991
Token management schemes and random walks yield self-stabilizing mutual exclusion
Fast Self-Stabilizing Minimum Spanning Tree Construction
Snap-stabilization and PIF in tree networks
Applications of Path Compression on Balanced Trees
  • R. Tarjan
  • Mathematics, Computer Science
  • JACM
  • 1979
Structured design of self-stabilizing programs
  • F. Stomp
  • Computer Science
  • [1993] The 2nd Israel Symposium on Theory and Computing Systems
  • 1993
Self-stabilizing extensions for message-passing systems
...
1
2
...