Formal Semantics and Analysis of Control Flow in WS-BPEL

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

Amsterdam [u.a.] : Elsevier Science (2007)
Journal Article

In: Science of computer programming
Volume: 67
Issue: 2/3
Page(s)/Article-Nr.: 162-198


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