Succinct Population Protocols for Presburger Arithmetic.

Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax

Browse the full STACS paper archive.