Home /Research /Deterministic Color-Optimal Self-stabilizing Semi-synchronous Gathering: A Certified Algorithm
OTHER

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

François Bonnet, Quentin Bramas, Pierre Courtieu, Xavier Défago, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Year
2025
Citations
1

Keywords

Computer scienceAlgorithmCertification

Related papers

Browse all OTHER papers