Multiparty session types; open systems; process algebras

Composable Partial Multiparty Session Types

We introduce partial sessions and partial (multiparty) session types, in order to deal with open systems, i.e., systems with missing components. Partial sessions can be composed, and the type of the resulting system is derived from those of its …