ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Alceste Scalas

Registered user since Mon 18 Apr 2016

Name: Alceste Scalas

Country: United Kingdom

Affiliation: Aston University

Personal website:

Research interests: Formal methods, concurrency, distributed systems, behavioural and session types, programming languages


GaLoP 2019 A game semantics understanding of asynchronous multiparty session types subtyping
Show activities from other conferences

ETAPS 2019-profile
View general profile