Self-stabilization

September 21, 2023

Definitions, Techniques and Paradigms

2.1 Definitions of the Computation Model

Processor:

2.2 Self-Stabilization Requirements

2.3 Complexity Measures

3.4 Ramdomized Self-Stabilization

2.5 Spanning-Tree Construction

2.6 Mutual Exclusion

2.7 Fair Composition

Example: Mutual Exclusion

2.8 Recomputation of Floating Output

Example: Synchronous Consensus

###