University of Bologna/INRIA

Identifiers

• name variant University of Bologna/INRIA 0.60 · backfill

Papers (2)

1. A Modular Formalization of Reversibility for Concurrent Models and Languages cs.LO · 2016 · author #4
2. Amending Choreographies cs.PL · 2013 · author #2

Mentions

• 1308.0390 #2 · backfill · confidence 0.70 University of Bologna/INRIA

Frequent Coauthors

• Italy) 2 shared papers
• Ivan Lanese (Focus Team 2 shared papers
• Alexis Bernadet (Dalhousie University 1 shared papers
• Canada) 1 shared papers
• Denmark) 1 shared papers
• Fabrizio Montesi (IT University of Copenhagen 1 shared papers
• Gianluigi Zavattaro (Focus Team 1 shared papers