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 |
Externí odkaz: | |
Nepřihlášeným uživatelům se plný text nezobrazuje | K zobrazení výsledku je třeba se přihlásit. |