E-LIB Suche - Ergebnisse für: Dezani-Ciancaglini, Mariangiola

1

YACC: Yet Another Church Calculus: A Birthday Present for H..:

, In: Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; de'Liguoro, Ugo. - p. 17-35 , 2024

Link: https://doi.org/10.1007/..

2

Multicompatibility for Multiparty-Session Composition:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; Gheri, Lorenzo. - p. 1-15 , 2023

Link: https://dl.acm.org/doi/1..

3

Event structure semantics for multiparty sessions:

Castellani, Ilaria ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola
Journal of Logical and Algebraic Methods in Programming. 131 (2023) - p. 100844 , 2023

Link: https://doi.org/10.1016/..

4

Deconfined Global Types for Asynchronous Sessions:

Dagnino, Francesco ; Giannini, Paola ; Dezani-Ciancaglini, Mariangiola
Logical Methods in Computer Science. 19, Issue 1 (2023) - p. , 2023

Link: https://doi.org/10.46298..

5

Gradual Guarantee for FJ with lambda-Expressions:

, In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs,

Ângelo, Pedro ; Bono, Viviana ; Dezani-Ciancaglini, Mariangiola. - p. 32-38 , 2023

Link: https://dl.acm.org/doi/1..

6

Open Compliance in Multiparty Sessions:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; de'Liguoro, Ugo - p. 222-243 , 2022

Link: https://doi.org/10.1007/..

7

Composition and decomposition of multiparty sessions:

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; Lanese, Ivan.
Journal of Logical and Algebraic Methods in Programming. 119 (2021) - p. 100620 , 2021

Link: https://doi.org/10.1016/..

8

Deconfined Global Types for Asynchronous Sessions:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Dagnino, Francesco ; Giannini, Paola ; Dezani-Ciancaglini, Mariangiola - p. 41-60 , 2021

Link: https://doi.org/10.1007/..

9

Global types with internal delegation:

Castellani, Ilaria ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola.
Theoretical Computer Science. 807 (2020) - p. 128-153 , 2020

Link: https://doi.org/10.1016/..

10

Soundness Conditions for Big-Step Semantics:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Dagnino, Francesco ; Bono, Viviana ; Zucca, Elena. - p. 169-196 , 2020

Link: https://doi.org/10.1007/..

11

A tale of intersection types:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bono, Viviana ; Dezani-Ciancaglini, Mariangiola - p. 7-20 , 2020

Link: https://dl.acm.org/doi/1..

12

Reversible sessions with flexible choices:

Castellani, Ilaria ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola
Acta Informatica. 56 (2019) 7-8 - p. 553-583 , 2019

Link: https://doi.org/10.1007/..

13

Foundations of Session Types : 10 Years Later:

, In: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming,

Castagna, Giuseppe ; Dezani-Ciancaglini, Mariangiola ; Giachino, Elena. - p. 1-3 , 2019

Link: https://dl.acm.org/doi/1..

14

Intersection Types in Java: Back to the Future:

, In: Lecture Notes in Computer Science; Models, Mindsets, Meta: The What, the How, and the Why Not?,

Dezani-Ciancaglini, Mariangiola ; Giannini, Paola ; Venneri, Betti - p. 68-86 , 2019

Link: https://doi.org/10.1007/..

15

Event Structure Semantics for Multiparty Sessions:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,

Castellani, Ilaria ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola - p. 340-363 , 2019

Link: https://doi.org/10.1007/..