1 citations · 1 across the 5 of their papers we have counts for
3 papers · 1 filter
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
We consider networks of processes that all execute the same finite-state protocol and communicate via a rendez-vous mechanism. When a process requests a rendez-vous, another proces…
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
Lucie Guillou, Corto Mascle, Nicolas Waldburger
We consider the parameterized verification of arbitrarily large networks of agents which communicate by broadcasting and receiving messages. In our model, the broadcast topology is…
Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version)
A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy
Reconfigurable broadcast networks (RBN) are a model of distributed computation in which agents can broadcast messages to other agents using some underlying communication topology w…