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

In: ACM Transactions on the Web
Band: 4
Heft: 1
Seite(n)/Artikel-Nr.: 1-62

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]