Loïc Germerie Guizouarn

According to our database, Loïc Germerie Guizouarn authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

2024

Reversible Transducers over Infinite Words.

Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna

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

2023

Multiparty half-duplex systems and synchronous communications.

Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes

J. Log. Algebraic Methods Program., February, 2023

Communicating automata and quasi-synchronous communications. (Automates communicants et communications quasi-synchrones).

Loïc Germerie Guizouarn

PhD thesis, 2023

RSC to the ReSCu: Automated Verification of Systems of Communicating Automata.

Loïc Desgeorges, Loïc Germerie Guizouarn

Proceedings of the Coordination Models and Languages, 2023

2021

Towards Generalised Half-Duplex Systems.

Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes

Proceedings of the Proceedings 14th Interaction and Concurrency Experience, 2021