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) [Fachzeitschriftenartikel]

ACM Transactions on the Web
Band: 4
Ausgabe: 1
Seite(n): 1-62

Identifikationsnummern