Search Results - DEZANI-CIANCAGLINI, Mariangiola

Refine Results
  1. 1
    Deconfined Global Types for Asynchronous Sessions

    Deconfined Global Types for Asynchronous Sessions by Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Open Multiparty Sessions

    Open Multiparty Sessions by Barbanera, Franco, Dezani-Ciancaglini, Mariangiola

    Get full text
    Items that this one cites
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Java Lambda: a Featherweight Story

    Java Lambda: a Featherweight Story by Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    On the Preciseness of Subtyping in Session Types

    On the Preciseness of Subtyping in Session Types by Tzu-chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Reversible Multiparty Sessions with Checkpoints

    Reversible Multiparty Sessions with Checkpoints by Dezani-Ciancaglini, Mariangiola, Giannini, Paola

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Retractable Contracts

    Retractable Contracts by Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, Lanese, Ivan, de'Liguoro, Ugo

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Precise subtyping for synchronous multiparty sessions

    Precise subtyping for synchronous multiparty sessions by Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Jakšić, Svetlana, Pantović, Jovanka, Yoshida, Nobuko

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    On Sessions and Infinite Data

    On Sessions and Infinite Data by Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini

    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Secure Multiparty Sessions with Topics

    Secure Multiparty Sessions with Topics by Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, de'Liguoro, Ugo

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    Parallel Monitors for Self-adaptive Sessions

    Parallel Monitors for Self-adaptive Sessions by Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Venneri, Betti

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  11. 11
    Compliance for reversible client/server interactions

    Compliance for reversible client/server interactions by Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, de' Liguoro, Ugo

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Retractions in Intersection Types

    Retractions in Intersection Types by Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Díaz-Caro, Alejandro, Margaria, Ines, Zacchi, Maddalena

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  13. 13
    Session Type Isomorphisms

    Session Type Isomorphisms by Dezani-Ciancaglini, Mariangiola, Padovani, Luca, Pantovic, Jovanka

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective

    Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective by Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Pérez, Jorge A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Information Flow Safety in Multiparty Sessions

    Information Flow Safety in Multiparty Sessions by Capecchi, Sara, Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    On Isomorphism of "Functional" Intersection and Union Types

    On Isomorphism of "Functional" Intersection and Union Types by Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Margaria, Ines, Zacchi, Maddalena

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Simple MultiParty Sessions: Keynote Talk at the 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

    Simple MultiParty Sessions: Keynote Talk at the 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software by Dezani-Ciancaglini, Mariangiola

    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Toward Isomorphism of Intersection and Union types

    Toward Isomorphism of Intersection and Union types by Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Margaria, Ines, Zacchi, Maddalena

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    On Global Types and Multi-Party Session

    On Global Types and Multi-Party Session by Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Global types with internal delegation

    Global types with internal delegation by Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Horne, Ross

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: