Monadic Presburger Predicates Have Robust Population Protocols.

Philipp Czerner, Javier Esparza, Vincent Fischer, Roland Guttenberg, Julian Pins, Simon Reilich

Browse the full CONCUR paper archive.