Fast and Succinct Population Protocols for Presburger Arithmetic

Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza. Fast and Succinct Population Protocols for Presburger Arithmetic. In James Aspnes, Othon Michail, editors, 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, March 28-30, 2022, Virtual Conference. Volume 221 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Abstract

Abstract is missing.