Maria Virginia Aponte, Mathis Bouverot-Dupuis, Quentin Bramas, Pierre Courtieu, Lionel Rieg, Xavier Urbain. Formal Certification of async Protocols: The Case of Gathering in $\mathbb {R} ^2$ Using Weber Points. In Chryssis Georgiou, editor, Structural Information and Communication Complexity - 33rd International Colloquium, SIROCCO 2026, Durham, UK, June 9-11, 2026, Proceedings. Volume 16488 of Lecture Notes in Computer Science, pages 34-52, Springer, 2026. [doi]
Abstract is missing.