Loïc Germerie Guizouarn

According to our database¹, Loïc Germerie Guizouarn authored at least 3 papers between 2021 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Multiparty half-duplex systems and synchronous communications.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2023

2021

Towards Generalised Half-Duplex Systems.

[BibT_eX]

[DOI]

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