Self-stabilization By Local Checking and Correction
A self-stabilizing protocol begins to behave correctly in bounded time, no matter what state it starts in. Self-stabilization abstracts the ability to tolerate arbitrary faults that stop. This thesis describes a simple paradigm called local checking and correction for the design of stabilizing net...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149749 |