1 citations · 1 across the 5 of their papers we have counts for
6 papers
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…
Three Brouwer fixed point theorems for homeomorphisms of the plane
Lucien Guillou
We prove three theorems giving fixed points for orientation preserving homeomorphisms of the plane following forgotten results of Brouwer.
On the struture of homeomorphims of the open annulus
Lucien Guillou
Let be a without fixed point lift to the plane of a homeomorphism of the open annulus isotopic to the identity and without wandering point. We show that admits a -invari…
Free lines for homeomorphisms of the open annulus
Lucien Guillou
Let H be a homeomorphism of the open annulus isotopic to the identity which admits a lift h to the plane without fixed point. We show that h admits a Brouwer line which is a lift o…