CARPINETI, SAMUELE
Dettaglio
CARPINETI, SAMUELE
DIP. DI SCIENZE DELL'INFORMAZIONE
Pubblicazioni
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.0 secondi).
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
---|---|---|---|---|---|---|---|
1 | A basic contract language for web services | CARPINETI S.; LANEVE C. | 2006 | Springer Verlag | 4.01 Contributo in Atti di convegno | - | |
2 | A rude contract language for web services | C. Laneve; S. Carpineti | 2006 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
3 | BoPi: a distributed machine for experimenting web-services technologies | S. Carpineti; C. Laneve; P. Milazzo | 2005 | IEEE Computer Society Press | 4.01 Contributo in Atti di convegno | - | |
4 | A formal account of contracts for web services | S. Carpineti; G. Castagna; C. Laneve; L. Padovani | 2006 | Springer | 4.01 Contributo in Atti di convegno | - | |
5 | PiDuce | C. Laneve; L. Padovani; S. Carpineti | 2006 | 7.04 Software | - |