| |
| 2008 | ||
|---|---|---|
| 3 | EE | Roberto Bruni, Leonardo Gaetano Mezzina: Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines. AMAST 2008: 100-115 |
| 2 | EE | Leonardo Gaetano Mezzina: How to Infer Finite Session Types in a Calculus of Services and Sessions. COORDINATION 2008: 216-231 |
| 1 | EE | Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina: Provably Correct Implementations of Services. TGC 2008: 69-86 |
| 1 | Roberto Bruni | [1] [3] |
| 2 | Michele Loreti | [1] |
| 3 | Rocco De Nicola | [1] |