Execution Semantics for Service Choreographies (2006)

by G Decker, J M Zaha, M Dumas
Venue:Proceedings of 3rd International Workshop on Web Services and Formal Methods (WS-FM