IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 109
Titolo Data di pubblicazione Autore(i) File
A Type System for Data Privacy Compliance in Active Object Languages 1-gen-2025 Baramashetru, Chinmayi Prabhu; Giannini, Paola; Tarifa, Silvia Lizeth Tapia; Owe, Olaf
Fair Termination for Resource-Aware Active Objects 1-gen-2025 Dagnino, Francesco; Giannini, Paola; Pun, Violet Ka I; Torrella, Ulises
Correct implementation of agent interaction protocols 1-gen-2025 Bergenti, Federico; Egidi, Lavinia; Galliera, Leonardo; Giannini, Paola; Monica, Stefania
Monadic Type-And-Effect Soundness 1-gen-2025 Dagnino, Francesco; Giannini, Paola; Zucca, Elena
An Effectful Object Calculus 1-gen-2025 Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Unsolvable Terms in Filter Models (Invited Talk) 1-gen-2025 Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Honsell, Furio
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.
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions 1-gen-2024 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
Coeffects for MiniJava: Cf-Mj 1-gen-2024 Giannini, Paola; Duso, Giulio
A Java-like calculus with heterogeneous coeffects 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
Multi-Graded Featherweight Java 1-gen-2023 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Deconfined Global Types for Asynchronous Sessions 1-gen-2023 Dagnino, Francesco; Giannini, Paola; Dezani-Ciancaglini, Mariangiola
Resource-Aware Soundness for Big-Step Semantics 1-gen-2023 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Asynchronous Sessions with Input Races 1-gen-2022 Castellani, I.; Dezani-Ciancaglini, M.; Giannini, P.
A Java-like Calculus with User-Defined Coeffects 1-gen-2022 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
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
Multiparty-session-types Coordination for Core Erlang 1-gen-2022 Egidi, L; Giannini, P; Ventura, L
Mostrati risultati da 1 a 20 di 109
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