Sfoglia per Autore
Towards a Semantic Characterisation of Global Type Well-formedness
2024-01-01 Castellani, Ilaria; Giannini, Paola
Global Types for Agent Interaction Protocols (short paper)
2024-01-01 Bergenti, F.; Galliera, L.; Giannini, P.; Monica, S.; Nazzari, R.
Coeffects for MiniJava: Cf-Mj
2024-01-01 Giannini, Paola; Duso, Giulio
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions
2024-01-01 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
Multi-Graded Featherweight Java
2023-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Event structure semantics for multiparty sessions
2023-01-01 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
Deconfined Global Types for Asynchronous Sessions
2023-01-01 Dagnino, Francesco; Giannini, Paola; Dezani-Ciancaglini, Mariangiola
A Java-like calculus with heterogeneous coeffects
2023-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Resource-Aware Soundness for Big-Step Semantics
2023-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Multiparty-session-types Coordination for Core Erlang
2022-01-01 Egidi, L; Giannini, P; Ventura, L
A Java-like Calculus with User-Defined Coeffects
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Asynchronous Sessions with Input Races
2022-01-01 Castellani, I.; Dezani-Ciancaglini, M.; Giannini, P.
Coeffects for sharing and mutation
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena; Servetto, Marco
Event structure semantics for multiparty sessions (Extended Version)
2022-01-01 Castellani, Ilaria; Dezani(-)Ciancaglini, Mariangiola; Giannini, Paola
Deconfined Global Types for Asynchronous Sessions
2021-01-01 Dagnino, F.; Giannini, P.; Dezani-Ciancaglini, M.
Global types and event structure semantics for asynchronous multiparty sessions
2021-01-01 Castellani, Ilaria; Dezani(-)Ciancaglini, Mariangiola; Giannini, Paola
Deconfined intersection types in java
2020-01-01 Dezani-Ciancaglini, M.; Giannini, P.; Venneri, B.
Global types with internal delegation
2020-01-01 Castellani, I.; Dezani-Ciancaglini, M.; Giannini, P.; Horne, R.
Intersection Types in Java: Back to the Future
2019-01-01 Dezani-Ciancaglini, M.; Giannini, P.; Venneri, B.
Event Structure Semantics for Multiparty Sessions
2019-01-01 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Towards a Semantic Characterisation of Global Type Well-formedness | 1-gen-2024 | Castellani, Ilaria; Giannini, Paola | |
| Global Types for Agent Interaction Protocols (short paper) | 1-gen-2024 | Bergenti, F.; Galliera, L.; Giannini, P.; Monica, S.; Nazzari, R. | |
| Coeffects for MiniJava: Cf-Mj | 1-gen-2024 | Giannini, Paola; Duso, Giulio | |
| Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions | 1-gen-2024 | Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola | |
| Multi-Graded Featherweight Java | 1-gen-2023 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
| Event structure semantics for multiparty sessions | 1-gen-2023 | Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola | |
| Deconfined Global Types for Asynchronous Sessions | 1-gen-2023 | Dagnino, Francesco; Giannini, Paola; Dezani-Ciancaglini, Mariangiola | |
| A Java-like calculus with heterogeneous coeffects | 1-gen-2023 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
| Resource-Aware Soundness for Big-Step Semantics | 1-gen-2023 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
| Multiparty-session-types Coordination for Core Erlang | 1-gen-2022 | Egidi, L; Giannini, P; Ventura, L | |
| A Java-like Calculus with User-Defined Coeffects | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
| Asynchronous Sessions with Input Races | 1-gen-2022 | Castellani, I.; Dezani-Ciancaglini, M.; Giannini, P. | |
| Coeffects for sharing and mutation | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena; Servetto, Marco | |
| Event structure semantics for multiparty sessions (Extended Version) | 1-gen-2022 | Castellani, Ilaria; Dezani(-)Ciancaglini, Mariangiola; Giannini, Paola | |
| Deconfined Global Types for Asynchronous Sessions | 1-gen-2021 | Dagnino, F.; Giannini, P.; Dezani-Ciancaglini, M. | |
| Global types and event structure semantics for asynchronous multiparty sessions | 1-gen-2021 | Castellani, Ilaria; Dezani(-)Ciancaglini, Mariangiola; Giannini, Paola | |
| Deconfined intersection types in java | 1-gen-2020 | Dezani-Ciancaglini, M.; Giannini, P.; Venneri, B. | |
| Global types with internal delegation | 1-gen-2020 | Castellani, I.; Dezani-Ciancaglini, M.; Giannini, P.; Horne, R. | |
| Intersection Types in Java: Back to the Future | 1-gen-2019 | Dezani-Ciancaglini, M.; Giannini, P.; Venneri, B. | |
| Event Structure Semantics for Multiparty Sessions | 1-gen-2019 | Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile