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