3 citations · 6 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.DC2022
Breaking through the -space barrier: Population Protocols Decide Double-exponential Thresholds
Philipp Czerner
Population protocols are a model of distributed computation in which finite-state agents interact randomly in pairs. A protocol decides for any initial configuration whether it sat…
cs.DC2022
Fast and Succinct Population Protocols for Presburger Arithmetic
Philipp Czerner, Roland Guttenberg, Martin Helfrich +1
In their 2006 seminal paper in Distributed Computing, Angluin et al. present a construction that, given any Presburger predicate as input, outputs a leaderless population protocol…