Formalizing web service choreographies (2004)

by A Brogi, C Canal, E Pimentel, A Vallecillo
Venue:Electr. Notes Theor. Comput. Sci