journal : ACM Transactions on the Web
1 article
Declarative Specification and Verification of Service Choreographies (2009) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari Declarative Specification and Verification of Service Choreographies (2009) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari