Lucie Guillou

According to our database, Lucie Guillou authored at least 9 papers between 2021 and 2025.

Collaborative distances:

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

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