COPPO, MARIO
COPPO, MARIO
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 secondi).
A gentle introduction to multiparty asynchronous session types
2015-01-01 Coppo, Mario; Dezani-ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko
Global Progress for Dynamically Interleaved Multiparty Sessions
2016-01-01 Coppo, Mario; Dezani, Mariangiola; Nobuko, Yoshida; Padovani, Luca
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
2013-01-01 Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A gentle introduction to multiparty asynchronous session types | 1-gen-2015 | Coppo, Mario; Dezani-ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko | Capitolo di libro o voce di enciclopedia | |
Global Progress for Dynamically Interleaved Multiparty Sessions | 1-gen-2016 | Coppo, Mario; Dezani, Mariangiola; Nobuko, Yoshida; Padovani, Luca | Articolo | |
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions | 1-gen-2013 | Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida | Contributo in atto di convegno su volume |