Registered user since Tue 20 Dec 2022

Name:Davide Ferre'
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