C. Stolze

Latest

• Composable Partial Multiparty Session Types