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

Institutions

• Chair of Computer Science 9 (Process and Data Science) [122510]
• Department of Computer Science [120000]