![]() | ![]() |
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] |