ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany

Registered user since Fri 9 Jul 2021

Name:Emilio Tuosto
Country:Italy
Affiliation:Gran Sasso Science Institute, L'Aquila, Italy
Research interests:Formal methods for concurrent and distributed systems

Contributions

ECOOP 2022 Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming
Show activities from other conferences

Using general profile