Formalizing Web Service Choreographies

Publication
Proceedings of the First International Workshop on Web Services and Formal Methods, WSFM 2004, Pisa, Italy, February 23-24, 2004
Antonio Brogi
Antonio Brogi
Full Professor

Full Professor @ Department of Computer Science, University of Pisa, Italy.