Composable Partial Multiparty Session Types - Stolze, Claude; Miculan, Marino; Di Gianantonio, Pietro (Formal Aspects of Component Software, 2021)
Keywords: Multiparty session types; open systems; process algebras