BoPi - A Distributed Machine for Experimenting Web Services Technologies. - Samuele Carpineti; Cosimo Laneve; Paolo Milazzo (ACSD, 2005)

A Rude Contract Language for Web Services. - Samuele Carpineti; Cosimo Laneve (APC 25, 2005)

A Basic Contract Language for Web Services. - Samuele Carpineti; Cosimo Laneve (ESOP, 2006)

A Formal Account of Contracts for Web Services. - Samuele Carpineti; Giuseppe Castagna; Cosimo Laneve; Luca Padovani (WS-FM, 2006)

Data and behavioral contracts for web services. - Samuele Carpineti (2007)

PiDuce - A project for experimenting Web services technologies. - Samuele Carpineti; Cosimo Laneve; Luca Padovani (Sci. Comput. Program., 2009)