The link-calculus for open multiparty interactions

Autor: Bodei, Chiara, Brodo, Linda, Bruni, Roberto
Zdroj: In Information and Computation December 2020 275
Databáze: ScienceDirect