University of Torino)

Identifiers

• name variant University of Torino) 0.60 · backfill

Papers (4)

1. Global Types for Open Systems cs.LO · 2018 · author #4
2. Retractable Contracts cs.LO · 2016 · author #4
3. Orchestrated Session Compliance cs.LO · 2015 · author #6
4. Compliance for reversible client/server interactions cs.LO · 2014 · author #4

Mentions

• 1508.04849 #6 · backfill · confidence 0.70 University of Torino)
• 1408.5981 #4 · backfill · confidence 0.70 University of Torino)

Frequent Coauthors

• Franco Barbanera (Dipartimento di Matematica e Informatica 4 shared papers
• University of Catania) 4 shared papers
• Ugo de'Liguoro (Dipartimento di Informatica 3 shared papers
• Mariangiola Dezani-Ciancaglini (Dipartimento di Informatica 2 shared papers
• Imperial College London) 1 shared papers
• Ivan Lanese (Dipartimento di Informatica - Scienza e Ingegneria 1 shared papers
• LMU Munich) 1 shared papers
• Rolf Hennicker (Institute of Informatics 1 shared papers
• Steffen van Bakel (Department of Computing 1 shared papers
• Ugo de' Liguoro (Dipartimento di Informatica 1 shared papers
• University of Bologna/INRIA) 1 shared papers