DEZANI, MARIANGIOLA

DEZANI, MARIANGIOLA  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.016 secondi).
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