Alceste Scalas

Registered user since Mon 18 Apr 2016

Name:Alceste Scalas
Country:Denmark
Affiliation:Technical University of Denmark
Research interests:Formal methods, concurrency, distributed systems, behavioural and session types, programming languages

Contributions