research
∙
01/11/2021
Running Time Analysis of Broadcast Consensus Protocols
Broadcast consensus protocols (BCPs) are a model of computation, in whic...
share
research
∙
07/15/2020
Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs
We present a new version of Peregrine, the tool for the analysis and par...
research
∙
12/13/2019
The Complexity of Verifying Population Protocols
Population protocols [Angluin et al., PODC, 2004] are a model of distrib...
research
∙
10/10/2019
Succinct Population Protocols for Presburger Arithmetic
Angluin et al. proved that population protocols compute exactly the pred...
research
∙
05/13/2019
On Semigroups of Two-Dimensional Upper-Triangular Integer Matrices
We analyze algorithmic problems in finitely generated semigroups of two-...
research
∙
02/05/2019
Expressive Power of Oblivious Consensus Protocols
Population protocols are a formal model of computation by identical, ano...
research
∙
01/02/2018