Tag
The article explores a search for a compositional theory of self-stabilization in distributed systems, critiquing recent papers on metastable failures and formal methods like rely-guarantee contracts.