Samuele Carpineti

According to our database, Samuele Carpineti authored at least 6 papers between 2005 and 2009.

Collaborative distances:

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

2009

PiDuce - A project for experimenting Web services technologies.

Samuele Carpineti, Cosimo Laneve, Luca Padovani

Sci. Comput. Program., 2009

2007

Data and behavioral contracts for web services.

Samuele Carpineti

PhD thesis, 2007

2006

A Formal Account of Contracts for Web Services.

Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

A Basic Contract Language for Web Services.

Samuele Carpineti, Cosimo Laneve

Proceedings of the Programming Languages and Systems, 2006

2005

A Rude Contract Language for Web Services.

Samuele Carpineti, Cosimo Laneve

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

BoPi - A Distributed Machine for Experimenting Web Services Technologies.

Samuele Carpineti, Cosimo Laneve, Paolo Milazzo

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005