Not registered as user yet

Name:Laetitia Laversa
Country:France
Affiliation:Université Côte d'Azur; CNRS

Contributions

POPL 2023 Author of A Partial Order View of Message-Passing Communication Models within the POPL-track