Composable partial multiparty session types for open systems.

Autor: Stolze, Claude1 (AUTHOR), Miculan, Marino1 (AUTHOR) marino.miculan@uniud.it, Di Gianantonio, Pietro1 (AUTHOR)
Zdroj: Software & Systems Modeling. Apr2023, Vol. 22 Issue 2, p473-494. 22p.
Databáze: Academic Search Ultimate
Nepřihlášeným uživatelům se plný text nezobrazuje