Declarative Specification and Verification of Service Choreographies

Montali, M.; Pesic, M.; van der Aalst, Wil M. P.; Chesani, F.; Mello, P.; Storari, S.

New York, NY : ACM (2010)
Journal Article

In: ACM Transactions on the Web
Volume: 4
Issue: 1
Page(s)/Article-Nr.: 1-62


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