![]() | ![]() |
2006 | ||
---|---|---|
4 | EE | Samuele Carpineti, Cosimo Laneve: A Basic Contract Language for Web Services. ESOP 2006: 197-213 |
3 | EE | Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani: A Formal Account of Contracts for Web Services. WS-FM 2006: 148-162 |
2 | EE | Samuele Carpineti, Cosimo Laneve: A Rude Contract Language for Web Services. Electr. Notes Theor. Comput. Sci. 162: 147-152 (2006) |
2005 | ||
1 | EE | Samuele Carpineti, Cosimo Laneve, Paolo Milazzo: BoPi - A Distributed Machine for Experimenting Web Services Technologies. ACSD 2005: 202-211 |
1 | Giuseppe Castagna | [3] |
2 | Cosimo Laneve | [1] [2] [3] [4] |
3 | Paolo Milazzo | [1] |
4 | Luca Padovani | [3] |