Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints.

Saba Aflaki, Fathiyeh Faghih, Borzoo Bonakdarpour

Browse the full ICDCS paper archive.