Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings.

Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour

Browse the full OPODIS paper archive.