In Search of a Compositional Theory of Self-Stabilization

The author addresses metastable failures by applying a parametric assume-guarantee contract model to self-stabilizing systems. By replacing conditional promises with a family of contracts covering all queue lengths, the approach ensures components maintain obligations across all states. This method utilizes a conjunction of promises to manage cumulative retry behaviors without relying on layering.