Realisability and Complementability of Multiparty Session Types

Cinzia Di Giusto, Étienne Lozes, Pascal Urso. Realisability and Complementability of Multiparty Session Types. In Malgorzata Biernacka, Carlos Olarte, Francesco Ricca, James Cheney, editors, Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025. ACM, 2025. [doi]

Abstract

Abstract is missing.