Leonardo Gaetano Mezzina

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

Coauthor Index

1	Roberto Bruni	[1] [3]
2	Michele Loreti	[1]
3	Rocco De Nicola	[1]