Decker, Gero; Zaha, Johannes Maria; Dumas, Marlon:
Execution Semantics for Service Choreographies
In: Web Services and Formal Methods : Proceedings - Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 - Berlin: Springer, 2006 - (Lecture Notes in Computer Science ; 4184)
2006book article/chapter in Proceedings
Economics
Title in English:
Execution Semantics for Service Choreographies
Author:
Decker, Gero;Zaha, Johannes Maria;Dumas, Marlon
DOI
10.1007/11841197_11
Language of text:
English
Appears in
Web Services and Formal Methods : Proceedings
Conference
Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006
Place of publication:
Berlin
Publisher:
Springer
Year of publication:
2006
DOI
10.1007/11841197_11
ISBN
978-3-540-38865-4
ISBN
978-3-540-38862-3
In Series
Lecture Notes in Computer Science
in:
Vol. 4184