Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes | IEEE Journals & Magazine | IEEE Xplore