Lucie Guillou

According to our database, Lucie Guillou authored at least 11 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Population Protocols over Ordered Agents.

Michael Blondin, Michaël Cadilhac, Benjamin Courchesne, Lucie Guillou, Corto Mascle, Isa Vialard

CoRR, May, 2026

2025

Wait or act: parameterized verification with wait-only protocols and non-blocking communication. (Attendre ou agir: vérification paramétrée avec protocoles wait-only et communication non bloquante).

Lucie Guillou

PhD thesis, 2025

Wait-Only Broadcast Protocols Are Easier to Verify.

Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2024

Process-commutative distributed objects: From cryptocurrencies to Byzantine-Fault-Tolerant CRDTs.

Davide Frey, Lucie Guillou, Michel Raynal, François Taïani

Theor. Comput. Sci., 2024

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.

Lucie Guillou, Corto Mascle, Nicolas Waldburger

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Phase-Bounded Broadcast Networks over Topologies of Communication.

Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.

Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023

Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.

Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version).

A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy

CoRR, 2022

Parameterized Analysis of Reconfigurable Broadcast Networks.

A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

Consensus-Free Ledgers When Operations of Distinct Processes are Commutative.

Davide Frey, Lucie Guillou, Michel Raynal, François Taïani

Proceedings of the Parallel Computing Technologies, 2021