Composable partial multiparty session types for open systems - Claude, Stolze (Springer, 2023)
CC BY