Mariangiola Dezani-Ciancaglini
Università degli Studi di Torino
H-index: 41
Europe-Italy
Top articles of Mariangiola Dezani-Ciancaglini
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Partial Typing for Open Compliance in Multiparty Sessions | FRANCO BARBANERA MARIANGIOLA DEZANI-CIANCAGLINI | 2023 | |
Multicompatibility for multiparty-session composition | Franco Barbanera Mariangiola Dezani-Ciancaglini Lorenzo Gheri Nobuko Yoshida | 2023/10/22 | |
Partially Typed Multiparty Sessions | arXiv preprint arXiv:2308.10653 | Franco Barbanera Mariangiola Dezani-Ciancaglini | 2023/8/21 |
Gradual Guarantee for FJ with lambda-Expressions | Pedro Ângelo Viviana Bono Mariangiola Dezani-Ciancaglini Mário Florido | 2023/7/18 | |
Event structure semantics for multiparty sessions | Journal of Logical and Algebraic Methods in Programming | Ilaria Castellani Mariangiola Dezani-Ciancaglini Paola Giannini | 2023/2/1 |
Deconfined global types for asynchronous sessions | Logical Methods in Computer Science | Francesco Dagnino Paola Giannini Mariangiola Dezani-Ciancaglini | 2023/1/13 |
Open compliance in multiparty sessions | Franco Barbanera Mariangiola Dezani-Ciancaglini Ugo De’Liguoro | 2022/11/2 | |
Asynchronous sessions with input races | arXiv preprint arXiv:2203.12876 | Ilaria Castellani Mariangiola Dezani-Ciancaglini Paola Giannini | 2022/3/24 |
Composition and decomposition of multiparty sessions | Journal of Logical and Algebraic Methods in Programming | Franco Barbanera Mariangiola Dezani-Ciancaglini Ivan Lanese Emilio Tuosto | 2021/2/1 |
TYPES AND EVENT STRUCTURE SEMANTICS FOR ASYNCHRONOUS MULTIPARTY SESSIONS | arXiv preprint arXiv:2102.00865 | ILARIA CASTELLANI MARIANGIOLA DEZANI-CIANCAGLINI PAOLA GIANNINI | 2021/2 |
Global types and event structure semantics for asynchronous multiparty sessions | arXiv preprint arXiv:2102.00865 | Ilaria Castellani Mariangiola Dezani-Ciancaglini Paola Giannini | 2021/2/1 |
A tale of intersection types | Viviana Bono Mariangiola Dezani-Ciancaglini | 2020/7/8 | |
Soundness Conditions for Big-Step Semantics. | Francesco Dagnino Viviana Bono Elena Zucca Mariangiola Dezani-Ciancaglini | 2020/4/18 | |
Global types with internal delegation | Theoretical Computer Science | Ilaria Castellani Mariangiola Dezani-Ciancaglini Paola Giannini Ross Horne | 2020/2/6 |
Deconfined intersection types in java | OPEN ACCESS SERIES IN INFORMATICS | Mariangiola Dezani-Ciancaglini Paola Giannini Betti Venneri | 2020 |