In Search of a Compositional Theory of Self-Stabilization

The author explores the challenges in developing a compositional theory of self-stabilization for distributed systems, particularly through the lens of a retry storm model using TLA+. The paper by Kim et al. provides useful insights but is fundamentally limited by its memoryless view of components. The author discusses the implications of this limitation on contracts and stabilizing behaviors and offers potential avenues for further research despite current obstacles.