Analyzing Self-Stabilization with Finite-State Machine Model.

Su-Chu Hsu, Shing-Tsaan Huang

Browse the full ICDCS paper archive.