Service Interaction: Patterns, Formalization, and Analysis (0)

by W M P van der Aalst, A J Mooij, C Stahl, K Wolf
Venue:in Proc. of Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM’2009), ser. Lecture Notes in Computer Science