Lucie Guillou

According to our database, Lucie Guillou authored at least 7 papers between 2021 and 2024.

Collaborative distances:

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

2024

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

Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder

CoRR, 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

2023

Process-Commutative Distributed Objects: From Cryptocurrencies to Byzantine-Fault-Tolerant CRDTs.

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

CoRR, 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