SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Nobuko Yoshida

Registered user since Fri 17 Mar 2023

Name:Nobuko Yoshida
Country:United Kingdom
Affiliation:University of Oxford
Research interests:Theory of Computing, Concurrency, Type Theory, Programming Langages, Distributed Systems

Contributions

SPLASH 2023 Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection
Show activities from other conferences

Using general profile