In Search of a Compositional Theory of Self-Stabilization(muratbuffalo.blogspot.com)
44 points by matt_d | 3 comments
Blog post on the Metadata blog exploring compositional theories of self-stabilization, using a rely-guarantee TLA+ model of a retry storm and metastable failure.