Papers to be presented at the end of the course

• DENOTATIONAL COMPOSITIONAL SEMANTICS FOR PROCESS CALCULI
  Turi-Plotkin CCS
  Lenisa, Power and Watanabe (this is more or less the same of the above, just a bit easier)
  Fiore+Turi - pi
  Fiore-Staton (this is more or less the same of the above, just a bit easier)
• TRULY CONCURRENT SEMANTICS OF GRAPH REWRITING
  Corradini, Montanari, Rossi: Graph Processes -- D. Suprani
  Baldan, Corradini, Montanari: Unfolding and asymmetric event structures for graph rewriting
• PROBABILISTIC SYSTEMS (with coalgebras)
  Bartel, de Vink, Sokolova "A hierarchy of probabilistic systems type" -- A. Isoard
• CATEGORY THEORY Yoneda and its applications
  le but est de faire une sorte de "mini-cours", dont le matériau sera pris dans le livre "Steve Awodey: Category Theory, Oxford Logic Guides, second edition", en regardant en particulier:
  - Preliminaries (Section 2.7, Section 5.5, Section 7.2)
  - The Yoneda Lemma (Chapter 8 without 8.7 and 8.8)
  - Applications (Proof of Proposition 9.9 and Section 9.6) -- F. Capelli
• EVENT STRUCTURES FOR THE PI-CALCULUS
  Varacca pi -- I. Cristescu
• ASYNCHRONY
  P.Sobocinski&J.Rathke -- F. Gindraud
  Selinger
  Baldan, Bonchi, Gadducci -- V. Lanore
• CATEGORICAL MODELS OF INTERACTION
  Gadducci, Montanari "Tiles"
  P.Sobocinski "Wire Calculus" -- M. Bodin
  P.Sobocinski "Petri nets via the Wire Calculus" -- M. Bodin
• AUTOMATA THEORY AND COALGEBRAS
  Bonchi+CWI+Boreale "Weighted Automata"
  Bonchi+ CWI "Powerset Construction"
  Bonchi + CWI "Regular Expressions"