Loïc Germerie Guizouarn

Loïc Germerie Guizouarn

Université Paris-Est Créteil - Créteil / France
Others
AD Scientific Index ID: 5731300
University of Paris-Est Créteil
person_outline Loïc Germerie Guizouarn's MOST POPULAR ARTICLES
1-) Towards Generalised Half-Duplex Systems C Di Giusto, L Germerie Guizouarn, E Lozes arXiv preprint arXiv:2110.00145, 2021 62021
2-) Multiparty half-duplex systems and synchronous communications C Di Giusto, L Germerie Guizouarn, E Lozes Journal of Logical and Algebraic Methods in Programming 131, 100843, 2023 32023
3-) RSC to the ReSCu: Automated Verification of Systems of Communicating Automata L Desgeorges, L Germerie Guizouarn International Conference on Coordination Languages and Models, 135-143, 2023 12023
4-) Communicating automata and quasi-synchronous communicationsLG GuizouarnUniversité Côte d\'Azur, 20232023
5-) Formalising Futures and Promises in ViperC Giusto, L Germerie Guizouarn, L Henrio, E Lozes33èmes Journées Francophones des Langages Applicatifs, 20222022