Service Interaction: Patterns, Formalization, and Analysis

van der Aalst, Wil M. P.; Mooij, A. J.; Stahl, C.; Wolf, K.

Berlin [u.a.] : Springer (2009)
Contribution to a book, Contribution to a conference proceedings

In: Formal methods for web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1 - 6, 2009 ; advanced lectures / Marco Bernardo; Luca Padovani; Gianluigi Zavattaro (eds.)
Page(s)/Article-Nr.: 42-88


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