Searching for authors named "Francesco Tiezzi" – sorted by Relevance.
-
Regulating data exchange in service oriented applications
- and Francesco Tiezzi Dipartimento di Sistemi e Informatica Università degli Studi di Firenze {lapadula,pugliese,tiezzi
- Cited by 5 (4 self) – Add To MetaCart
-
A WSDL-based type system for WS-BPEL
- A WSDL-based type system for WS-BPEL ⋆ Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi
- Cited by 4 (3 self) – Add To MetaCart
-
A calculus for orchestration of web services
- A Calculus for Orchestration of Web Services ⋆ Alessandro Lapadula, Rosario Pugliese and Francesco
- Cited by 14 (5 self) – Add To MetaCart
-
A formal account of WS-BPEL ⋆
- A formal account of WS-BPEL ⋆ Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi
- Cited by 1 (0 self) – Add To MetaCart

