In Search of a Compositional Theory of Self-Stabilization

· Hacker News