A formal approach to open multiparty interactions

Chiara Bodei, Linda Brodo, Roberto Bruni. A formal approach to open multiparty interactions. Theoretical Computer Science, 763:38-65, 2019. [doi]