Deconfined Global Types for Asynchronous Sessions
Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola
Published in Logical methods in computer science (01.01.2023)
Published in Logical methods in computer science (01.01.2023)
Get full text
Journal Article
Open Multiparty Sessions
Barbanera, Franco, Dezani-Ciancaglini, Mariangiola
Published in Electronic proceedings in theoretical computer science (12.09.2019)
Published in Electronic proceedings in theoretical computer science (12.09.2019)
Get full text
Journal Article
Java Lambda: a Featherweight Story
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Published in Logical methods in computer science (05.09.2018)
Published in Logical methods in computer science (05.09.2018)
Get full text
Journal Article
On the Preciseness of Subtyping in Session Types
Tzu-chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida
Published in Logical methods in computer science (01.01.2017)
Published in Logical methods in computer science (01.01.2017)
Get full text
Journal Article
Reversible Multiparty Sessions with Checkpoints
Dezani-Ciancaglini, Mariangiola, Giannini, Paola
Published in Electronic proceedings in theoretical computer science (09.08.2016)
Published in Electronic proceedings in theoretical computer science (09.08.2016)
Get full text
Journal Article
Retractable Contracts
Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, Lanese, Ivan, de'Liguoro, Ugo
Published in Electronic proceedings in theoretical computer science (10.02.2016)
Published in Electronic proceedings in theoretical computer science (10.02.2016)
Get full text
Journal Article
On Sessions and Infinite Data
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
Published in Logical methods in computer science (01.01.2017)
Published in Logical methods in computer science (01.01.2017)
Get full text
Journal Article
Secure Multiparty Sessions with Topics
Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, de'Liguoro, Ugo
Published in Electronic proceedings in theoretical computer science (17.06.2016)
Published in Electronic proceedings in theoretical computer science (17.06.2016)
Get full text
Journal Article
Parallel Monitors for Self-adaptive Sessions
Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Venneri, Betti
Published in Electronic proceedings in theoretical computer science (17.06.2016)
Published in Electronic proceedings in theoretical computer science (17.06.2016)
Get full text
Journal Article
Compliance for reversible client/server interactions
Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, de' Liguoro, Ugo
Published in Electronic proceedings in theoretical computer science (24.08.2014)
Published in Electronic proceedings in theoretical computer science (24.08.2014)
Get full text
Journal Article
Retractions in Intersection Types
Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Díaz-Caro, Alejandro, Margaria, Ines, Zacchi, Maddalena
Published in Electronic proceedings in theoretical computer science (07.02.2017)
Published in Electronic proceedings in theoretical computer science (07.02.2017)
Get full text
Journal Article
Session Type Isomorphisms
Dezani-Ciancaglini, Mariangiola, Padovani, Luca, Pantovic, Jovanka
Published in Electronic proceedings in theoretical computer science (12.06.2014)
Published in Electronic proceedings in theoretical computer science (12.06.2014)
Get full text
Journal Article
Information Flow Safety in Multiparty Sessions
Capecchi, Sara, Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola
Published in Electronic proceedings in theoretical computer science (20.08.2011)
Published in Electronic proceedings in theoretical computer science (20.08.2011)
Get full text
Journal Article
On Isomorphism of "Functional" Intersection and Union Types
Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Margaria, Ines, Zacchi, Maddalena
Published in Electronic proceedings in theoretical computer science (17.03.2015)
Published in Electronic proceedings in theoretical computer science (17.03.2015)
Get full text
Journal Article
Toward Isomorphism of Intersection and Union types
Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Margaria, Ines, Zacchi, Maddalena
Published in Electronic proceedings in theoretical computer science (30.07.2013)
Published in Electronic proceedings in theoretical computer science (30.07.2013)
Get full text
Journal Article
On Global Types and Multi-Party Session
Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Published in Logical methods in computer science (15.03.2012)
Published in Logical methods in computer science (15.03.2012)
Get full text
Journal Article
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
Compagnoni, Adriana, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Sauer, Karin, Sharma, Vishakha, Troina, Angelo
Published in Electronic proceedings in theoretical computer science (15.11.2012)
Published in Electronic proceedings in theoretical computer science (15.11.2012)
Get full text
Journal Article