Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
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

ECOOP 2021 On the Monitorability of Session Types, in Theory and Practice
On the Monitorability of Session Types, in Theory and Practice
VORTEX 2021 Committee Member in Program Committee within the VORTEX-track
Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile