Formal Semantics and Analysis of Control Flow in WS-BPEL (Revised Version)

Ouyang, C.; van der Aalst, Wil M. P.; Breutel, S.; Dumas, M.; ter Hofstede, A. H. M.; Verbeek, H. M. W.

BPMcenter.org (2005)
Book