Formalizing Web Service Choreographies

Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo. Formalizing Web Service Choreographies. Electronic Notes in Theoretical Computer Science, 105:73-94, 2004. [doi]

Abstract

Abstract is missing.