Composable partial multiparty session types for open systems

Claude Stolze, Marino Miculan, Pietro Di Gianantonio. Composable partial multiparty session types for open systems. Software and Systems Modeling, 22(2):473-494, April 2023. [doi]

Abstract

Abstract is missing.