Franco Barbanera (Dipartimento di Matematica e Informatica

Identifiers

• name variant Franco Barbanera (Dipartimento di Matematica e Informatica 0.60 · backfill

Papers (5)

1. Global Types for Open Systems cs.LO · 2018 · author #1
2. Retractable Contracts cs.LO · 2016 · author #1
3. Orchestrated Session Compliance cs.LO · 2015 · author #1
4. Compliance for reversible client/server interactions cs.LO · 2014 · author #1
5. Loosening the notions of compliance and sub-behaviour in client/server systems cs.LO · 2013 · author #1

Mentions

• 1508.04849 #1 · backfill · confidence 0.70 Franco Barbanera (Dipartimento di Matematica e Informatica
• 1408.5981 #1 · backfill · confidence 0.70 Franco Barbanera (Dipartimento di Matematica e Informatica
• 1311.5802 #1 · backfill · confidence 0.70 Franco Barbanera (Dipartimento di Matematica e Informatica

Frequent Coauthors

• University of Catania) 4 shared papers
• University of Torino) 4 shared papers
• Ugo de'Liguoro (Dipartimento di Informatica 3 shared papers
• Mariangiola Dezani-Ciancaglini (Dipartimento di Informatica 2 shared papers
• Ugo de' Liguoro (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
• Univ. Catania) 1 shared papers
• University of Bologna/INRIA) 1 shared papers
• Univ. Torino) 1 shared papers