CHIRICHIELLO, ANTONELLA
CHIRICHIELLO, ANTONELLA
Mostra
prodotti
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.011 secondi).
Encoding abstract descriptions into executable web services: Towards a formal development
2005 Chirichiello, Antonella; G., Salan
Encoding Process Algebraic Description of Web Services into BPEL
2007 Chirichiello, Antonella; G., Salan
Formal Development of Web Services
2006 Chirichiello, Antonella; G., Salan
Negotiation among Web Services using LOTOS/CADP
2004 G., Salan; A., Ferrara; Chirichiello, Antonella
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Encoding abstract descriptions into executable web services: Towards a formal development | 2005 | Chirichiello, Antonella; G., Salan | |
Encoding Process Algebraic Description of Web Services into BPEL | 2007 | Chirichiello, Antonella; G., Salan | |
Formal Development of Web Services | 2006 | Chirichiello, Antonella; G., Salan | |
Negotiation among Web Services using LOTOS/CADP | 2004 | G., Salan; A., Ferrara; Chirichiello, Antonella |