Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.

Fathiyeh Faghih, Borzoo Bonakdarpour, Sbastien Tixeuil, Sandeep S. Kulkarni

Browse the full FORTE paper archive.