Deterministic Color-Optimal Self-stabilizing Semi-synchronous Gathering: A Certified Algorithm.

Franois Bonnet, Quentin Bramas, Pierre Courtieu, Xavier Dfago, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain

Browse the full SIROCCO paper archive.