Systematic Correct Construction of Self-stabilizing Systems: A Case Study.

Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis

Browse the full SSS paper archive.