BOCCHI, LAURA
BOCCHI, LAURA
DIP. DI SCIENZE DELL'INFORMAZIONE
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.009 secondi).
The Reversible Temporal Process Language
2022 Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S.
On the Impact of AOSE in Service-Oriented Computing
2008 L. Bocchi; P. Ciancarini; Rocco Moretti; Valentina Presutti
On the impact of Formal Methods in the SOA
2006 L. Bocchi; P. Ciancarini
An OWL-S based approach to express grid services coordination
2005 L. Bocchi; P. Ciancarini; R. Moretti; V. Presutti; D. Rossi
Transactional Aspects in Semantic Based Discovery of Services
2005 L. Bocchi; P. Ciancarini; D. Rossi
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| The Reversible Temporal Process Language | Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S. | 2022-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | timed.pdf |
| On the Impact of AOSE in Service-Oriented Computing | L. Bocchi; P. Ciancarini; Rocco Moretti; Valentina Presutti | 2008-01-01 | - | Wiley-Interscience & IEEE | 2.01 Capitolo / saggio in libro | - |
| On the impact of Formal Methods in the SOA | L. Bocchi; P. Ciancarini | 2006-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| An OWL-S based approach to express grid services coordination | L. Bocchi; P. Ciancarini; R. Moretti; V. Presutti; D. Rossi | 2005-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |
| Transactional Aspects in Semantic Based Discovery of Services | L. Bocchi; P. Ciancarini; D. Rossi | 2005-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |