default search action
Mariangiola Dezani-Ciancaglini
Mariangiola Dezani
Person information
- affiliation: University of Turin, Department of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j79]Franco Barbanera, Viviana Bono, Mariangiola Dezani-Ciancaglini:
Partially typed multiparty sessions with internal delegation. J. Log. Algebraic Methods Program. 142: 101018 (2025) - 2024
- [j78]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions. Fundam. Informaticae 192(1): 1-75 (2024) - [c112]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Betti Venneri:
YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity. Logics and Type Systems in Theory and Practice 2024: 17-35 - [c111]Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Asynchronous Multiparty Sessions with Internal Delegation - Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday. ISoLA (1) 2024: 322-339 - [c110]Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
On the Preciseness of Subtyping in Session Types: 10 Years Later. PPDP 2024: 2:1-2:3 - [c109]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Un-projectable Global Types for Multiparty Sessions. PPDP 2024: 15:1-15:13 - [i12]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Partial Typing for Asynchronous Multiparty Sessions. CoRR abs/2410.00537 (2024) - 2023
- [j77]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Event structure semantics for multiparty sessions. J. Log. Algebraic Methods Program. 131: 100844 (2023) - [j76]Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini:
Deconfined Global Types for Asynchronous Sessions. Log. Methods Comput. Sci. 19(1) (2023) - [c108]Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido:
Gradual Guarantee for FJ with lambda-Expressions. FTfJP@ECOOP 2023: 32-38 - [c107]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida:
Multicompatibility for Multiparty-Session Composition. PPDP 2023: 2:1-2:15 - [c106]Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Partially Typed Multiparty Sessions. ICE 2023: 15-34 - 2022
- [c105]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Open Compliance in Multiparty Sessions. FACS 2022: 222-243 - [c104]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Asynchronous Sessions with Input Races. PLACES@ETAPS 2022: 12-23 - [i11]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Event structure semantics for multiparty sessions. CoRR abs/2201.00221 (2022) - 2021
- [j75]Mariangiola Dezani:
EATCS Fellows 2022 - Call for Nominations. Bull. EATCS 135 (2021) - [j74]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto:
Composition and decomposition of multiparty sessions. J. Log. Algebraic Methods Program. 119: 100620 (2021) - [c103]Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini:
Deconfined Global Types for Asynchronous Sessions. COORDINATION 2021: 41-60 - [i10]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Global types and event structure semantics for asynchronous multiparty sessions. CoRR abs/2102.00865 (2021) - [i9]Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini:
Deconfined Global Types for Asynchronous Sessions. CoRR abs/2111.11984 (2021) - [i8]Mariangiola Dezani, Roland Kuhn, Sam Lindley, Alceste Scalas:
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372). Dagstuhl Reports 11(8): 52-75 (2021) - 2020
- [j73]Christel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano:
EATCS Fellows 2021 - Call for Nominations. Bull. EATCS 132 (2020) - [j72]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne:
Global types with internal delegation. Theor. Comput. Sci. 807: 128-153 (2020) - [c102]Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri:
Deconfined Intersection Types in Java. Gabbrielli's Festschrift 2020: 3:1-3:25 - [c101]Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness Conditions for Big-Step Semantics. ESOP 2020: 169-196 - [c100]Viviana Bono, Mariangiola Dezani-Ciancaglini:
A tale of intersection types. LICS 2020: 7-20 - [i7]Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness conditions for big-step semantics. CoRR abs/2002.08738 (2020)
2010 – 2019
- 2019
- [j71]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Reversible sessions with flexible choices. Acta Informatica 56(7-8): 553-583 (2019) - [j70]Christel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano:
EATCS Fellows 2020 - Call for Nominations. Bull. EATCS 129 (2019) - [j69]Paula Severi, Mariangiola Dezani-Ciancaglini:
Observational Equivalence for Multiparty Sessions. Fundam. Informaticae 170(1-3): 267-305 (2019) - [c99]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Event Structure Semantics for Multiparty Sessions. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 340-363 - [c98]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani:
Foundations of Session Types: 10 Years Later. PPDP 2019: 1:1-1:3 - [c97]Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Open Multiparty Sessions. ICE 2019: 77-96 - 2018
- [j68]Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri:
Java & Lambda: a Featherweight Story. Log. Methods Comput. Sci. 14(3) (2018) - [c96]Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri:
Intersection Types in Java: Back to the Future. Models, Mindsets, Meta 2018: 68-86 - [i6]Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Java & Lambda: a Featherweight Story. CoRR abs/1801.05052 (2018) - 2017
- [j67]Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Data-driven adaptation for smart sessions. J. Log. Algebraic Methods Program. 90: 31-49 (2017) - [j66]Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida:
On the Preciseness of Subtyping in Session Types. Log. Methods Comput. Sci. 13(2) (2017) - [j65]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. Log. Methods Comput. Sci. 13(2) (2017) - [j64]Mariangiola Dezani, Sabrina Mantaci, Marinella Sciortino:
Preface. Math. Struct. Comput. Sci. 27(2): 92-93 (2017) - [j63]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Isomorphism of intersection and union types. Math. Struct. Comput. Sci. 27(5): 603-625 (2017) - [c95]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Concurrent Reversible Sessions. CONCUR 2017: 30:1-30:17 - 2016
- [j62]Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas:
EATCS Fellows' Advice to the Young Theoretical Computer Scientist. Bull. EATCS 119 (2016) - [j61]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
Self-adaptation and secure information flow in multiparty communications. Formal Aspects Comput. 28(4): 669-696 (2016) - [j60]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Reversible client/server interactions. Formal Aspects Comput. 28(4): 697-722 (2016) - [j59]Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani:
Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26(2): 238-302 (2016) - [j58]Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
Information flow safety in multiparty sessions. Math. Struct. Comput. Sci. 26(8): 1352-1394 (2016) - [c94]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida:
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Theory and Practice of Formal Methods 2016: 155-172 - [c93]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. COORDINATION 2016: 245-261 - [c92]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Secure Multiparty Sessions with Topics. PLACES 2016: 1-12 - [c91]Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Parallel Monitors for Self-adaptive Sessions. PLACES 2016: 25-36 - [c90]Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi:
Retractions in Intersection Types. ITRS 2016: 31-47 - [c89]Mariangiola Dezani-Ciancaglini, Paola Giannini:
Reversible Multiparty Sessions with Checkpoints. EXPRESS/SOS 2016: 60-74 - [i5]Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida:
On the Preciseness of Subtyping in Session Types. CoRR abs/1610.00328 (2016) - [i4]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. CoRR abs/1610.06362 (2016) - 2015
- [j57]Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84(6): 763-780 (2015) - [j56]Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Self-adaptive multiparty sessions. Serv. Oriented Comput. Appl. 9(3-4): 249-268 (2015) - [c88]Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
A Gentle Introduction to Multiparty Asynchronous Session Types. SFM 2015: 146-178 - [c87]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida:
Precise subtyping for synchronous multiparty sessions. PLACES 2015: 29-43 - [c86]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro:
Retractable Contracts. PLACES 2015: 61-72 - [c85]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Partial and Complete Processes in Multiparty Sessions. ICTCS 2015: 135-151 - [i3]Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. CoRR abs/1510.02229 (2015) - 2014
- [j55]Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
Typing access control and secure information flow in sessions. Inf. Comput. 238: 68-105 (2014) - [c84]Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Self-Adaptive Monitors for Multiparty Sessions. PDP 2014: 688-696 - [c83]Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
On the Preciseness of Subtyping in Session Types. PPDP 2014: 135-146 - [c82]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan:
Preciseness of Subtyping on Intersection and Union Types. RTA-TLCA 2014: 194-207 - [c81]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. BEAT 2014: 9-18 - [c80]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Compliance for reversible client/server interactions. BEAT 2014: 35-42 - [c79]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
On Isomorphism of "Functional" Intersection and Union Types. ITRS 2014: 53-64 - [c78]Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic:
Session Type Isomorphisms. PLACES 2014: 61-71 - 2013
- [j54]Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
Type Directed Semantics for the Calculus of Looping Sequences. Int. J. Softw. Informatics 7(4): 501-526 (2013) - [j53]Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri:
Deriving session and union types for objects. Math. Struct. Comput. Sci. 23(6): 1163-1219 (2013) - [c77]Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION 2013: 45-59 - [c76]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Isomorphism of "Functional" Intersection Types. TYPES 2013: 129-149 - 2012
- [j52]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani:
On Global Types and Multi-Party Session. Log. Methods Comput. Sci. 8(1) (2012) - [j51]Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
Typed stochastic semantics for the calculus of looping sequences. Theor. Comput. Sci. 431: 165-180 (2012) - [j50]Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone:
Tracing where and who provenance in Linked Data: A calculus. Theor. Comput. Sci. 464: 113-129 (2012) - [c75]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Toward Isomorphism of Intersection and Union types. ITRS 2012: 58-80 - [c74]Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina:
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions. MeCBIC 2012: 101-106 - 2011
- [j49]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
Extending the lambda-calculus with unbind and rebind. RAIRO Theor. Informatics Appl. 45(1): 143-162 (2011) - [c73]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani:
On Global Types and Multi-party Sessions. FMOODS/FORTE 2011: 1-28 - [c72]Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
A Reputation System for Multirole Sessions. TGC 2011: 1-24 - [c71]Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari:
Constraints for Service Contracts. TGC 2011: 104-120 - [c70]Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
Information Flow Safety in Multiparty Sessions. EXPRESS 2011: 16-30 - [c69]Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
A Calculus of Looping Sequences with Local Rules. DCM 2011: 43-58 - 2010
- [j48]Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo:
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. Fundam. Informaticae 103(1-4): 1-29 (2010) - [j47]Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta:
On isomorphisms of intersection types. ACM Trans. Comput. Log. 11(4): 25:1-25:24 (2010) - [c68]Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk:
Session Types for Access and Information Flow Control. CONCUR 2010: 237-252 - [c67]Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou:
Towards a semantic model for Java wildcards. FTfJP@ECOOP 2010: 2:1-2:7 - [c66]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic:
Types for Role-Based Access Control of Dynamic Web Data. WFLP 2010: 1-29 - [c65]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
Intersection types for unbind and rebind. ITRS 2010: 45-58
2000 – 2009
- 2009
- [j46]Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida:
Objects and session types. Inf. Comput. 207(5): 595-641 (2009) - [j45]Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino:
Amalgamating sessions and methods in object-oriented languages with generics. Theor. Comput. Sci. 410(2-3): 142-167 (2009) - [c64]Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca:
Intersection, Universally Quantified, and Reference Types. CSL 2009: 209-224 - [c63]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
The essence of static and dynamic bindings. ICTCS 2009: 99-106 - [c62]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani:
Foundations of session types. PPDP 2009: 219-230 - [c61]Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Sessions and Session Types: An Overview. WS-FM 2009: 1-28 - [c60]Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
A Type System for Required/Excluded Elements in CLS. DCM 2009: 38-48 - [c59]Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
A Type System for a Stochastic CLS. MeCBIC 2009: 91-105 - 2008
- [j44]Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz:
A Calculus of Evolving Objects. Sci. Ann. Comput. Sci. 18: 63-98 (2008) - [j43]Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti:
Types for ambient and process mobility. Math. Struct. Comput. Sci. 18(2): 221-290 (2008) - [j42]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca:
Security types for dynamic web data. Theor. Comput. Sci. 402(2-3): 156-171 (2008) - [c58]Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri:
Session and Union Types for Object Oriented Programming. Concurrency, Graphs and Models 2008: 659-680 - [c57]Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
Global Progress in Dynamically Interleaved Multiparty Sessions. CONCUR 2008: 418-433 - [c56]Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta:
On Isomorphisms of Intersection Types. CSL 2008: 461-477 - [c55]Mario Coppo, Mariangiola Dezani-Ciancaglini:
Structured Communications with Concurrent Constraints. TGC 2008: 104-125 - [c54]Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina:
Type Disciplines for Analysing Biologically Relevant Properties. MeCBIC 2008: 97-111 - [p1]Mariangiola Dezani-Ciancaglini, J. Roger Hindley:
Lambda-Calculus. Wiley Encyclopedia of Computer Science and Engineering 2008 - [e4]Vincent Danos, Mariangiola Dezani:
Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007. Electronic Notes in Theoretical Computer Science 192(3), Elsevier 2008 [contents] - 2007
- [j41]Pablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini:
Boxed ambients with communication interfaces. Math. Struct. Comput. Sci. 17(4): 587-645 (2007) - [j40]Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone:
Space-aware ambients and processes. Theor. Comput. Sci. 373(1-2): 41-69 (2007) - [c53]Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
Asynchronous Session Types and Progress for Object Oriented Languages. FMOODS 2007: 1-31 - [c52]Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida:
On Progress for Structured Communications. TGC 2007: 257-275 - [c51]Vincent Danos, Mariangiola Dezani-Ciancaglini:
Preface. DCM@ICALP 2007: 1-2 - 2006
- [j39]Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Intersection types and lambda models. Theor. Comput. Sci. 355(2): 108-126 (2006) - [c50]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca:
Encoding CDuce in the Cpi-Calculus. CONCUR 2006: 310-326 - [c49]Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou:
Session Types for Object-Oriented Languages. ECOOP 2006: 328-352 - [c48]