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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.