Leonardo Gaetano Mezzina

According to our database, Leonardo Gaetano Mezzina authored at least 3 papers in 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Provably Correct Implementations of Services.

Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina

Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

How to Infer Finite Session Types in a Calculus of Services and Sessions.

Leonardo Gaetano Mezzina

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.

Roberto Bruni, Leonardo Gaetano Mezzina

Proceedings of the Algebraic Methodology and Software Technology, 2008