Realisability and Complementability of Multiparty Session Types.

Cinzia Di Giusto, tienne Lozes, Pascal Urso

Browse the full PPDP paper archive.