SPLASH 2023 (series) / Nobuko Yoshida
Registered user since Fri 17 Mar 2023
Name:Nobuko Yoshida
Country:United Kingdom
Affiliation:University of Oxford
Personal website:http://www.mrg.cs.ox.ac.uk
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