SPLASH 2023 (series) / Lorenzo Gheri
Not registered as user yet
Name:Lorenzo Gheri
Affiliation:University of Oxford
Contributions
| SPLASH 2023 | Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile