Fathiyeh Faghih, Borzoo Bonakdarpour, Sandeep Kulkarni, Sébastien Tixeuil. Specification-based Synthesis of Distributed Self-Stabilizing Protocols.
Formal Techniques for Distributed Objects, Components, and Systems International Conference (FORTE 2016), May 2016, Heraklion, Greece.
⟨hal-01349070⟩