DEZANI, MARIANGIOLA
DEZANI, MARIANGIOLA
A gentle introduction to multiparty asynchronous session types
2015-01-01 Coppo, Mario; Dezani-ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko
Foundations of Session Types
2009-01-01 Giuseppe, Castagna; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca
Foundations of Session Types: 10 Years Later
2019-01-01 Castagna, Giuseppe; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca
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
On Global Types and Multi-Party Sessions
2012-01-01 Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca
On Global Types and Multi-Party Sessions
2011-01-01 Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca
On sessions and infinite data
2016-01-01 Paula, Severi; Padovani, Luca; Emilio, Tuosto; Dezani, Mariangiola
On Sessions and Infinite Data
2017-01-01 Paula, Severi; Padovani, Luca; Emilio, Tuosto; Dezani, Mariangiola
Session Type Isomorphisms
2014-01-01 Dezani, Mariangiola; Padovani, Luca; J., Pantovic
| 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 | |
| Foundations of Session Types | 1-gen-2009 | Giuseppe, Castagna; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca | Contributo in atto di convegno su volume | |
| Foundations of Session Types: 10 Years Later | 1-gen-2019 | Castagna, Giuseppe; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca | Contributo in atto di convegno su volume | |
| 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 | |
| On Global Types and Multi-Party Sessions | 1-gen-2012 | Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca | Articolo | |
| On Global Types and Multi-Party Sessions | 1-gen-2011 | Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca | Contributo in atto di convegno su volume | |
| On sessions and infinite data | 1-gen-2016 | Paula, Severi; Padovani, Luca; Emilio, Tuosto; Dezani, Mariangiola | Contributo in atto di convegno su volume | |
| On Sessions and Infinite Data | 1-gen-2017 | Paula, Severi; Padovani, Luca; Emilio, Tuosto; Dezani, Mariangiola | Articolo | |
| Session Type Isomorphisms | 1-gen-2014 | Dezani, Mariangiola; Padovani, Luca; J., Pantovic | Contributo in atto di convegno su volume |