Luca Padovani

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

An algebraic theory for web service contracts

Cosimo Laneve and others (2015) · Formal Aspects of Computing · Springer Science+Business Media

Contract-based discovery of Web services modulo simple orchestrators

Luca Padovani (2010) · Theoretical Computer Science · Elsevier BV

Contracts for Mobile Processes

Giuseppe Castagna and others (2009) · Springer Berlin Heidelberg

A theory of contracts for Web services

Giuseppe Castagna and others (2009) · Association for Computing Machinery (ACM)