Formalizing Web Service Choreographies

Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo
January 2004
Cite DOI
Type
Conference paper
Publication
Proceedings of the First International Workshop on Web Services and Formal Methods, WSFM 2004, Pisa, Italy, February 23-24, 2004

Add the full text or supplementary notes for the publication here using Markdown formatting.