research
∙
01/25/2022
Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version)
Reconfigurable broadcast networks (RBN) are a model of distributed compu...
share
research
∙
09/17/2021
Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent
We show the equivalence of two distributed computing models, namely reco...
research
∙
08/17/2021
Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent (Long Version)
We show the equivalence of two distributed computing models, namely reco...
research
∙
07/17/2020
Efficient Restrictions of Immediate Observation Petri Nets
In a previous paper we introduced immediate observation Petri nets, a su...
research
∙
01/27/2020
On the Flatness of Immediate Observation Petri Nets
In a previous paper we introduced immediate observation (IO) Petri nets,...
research
∙
12/13/2019
The Complexity of Verifying Population Protocols
Population protocols [Angluin et al., PODC, 2004] are a model of distrib...
research
∙
02/08/2019
Parameterized Analysis of Immediate Observation Petri Nets
We introduce immediate observation Petri nets, a class of interest in th...
research
∙
07/16/2018