activity
20212025
most citedRealisability and Complementability of Multiparty Session Types

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

cs.DC2025

Proceedings 18th Interaction and Concurrency Experience

Clément Aubert, Cinzia Di Giusto, Simon Fowler +1

This volume contains the proceedings of ICE'25, the 18th Interaction and Concurrency Experience, which was held on Friday 20th June 2025 at the École National Supérieure des Arts e…

cs.FL2025★ 1 cited

Realisability and Complementability of Multiparty Session Types

Cinzia Di Giusto, Etienne Lozes, Pascal Urso

Multiparty session types (MPST) are a type-based approach for specifying message-passing distributed systems. They rely on the notion of global type specifying the global behaviour…