Declarative Specification and Verification of Service Choreographies
 |
 |
 |
apice = {MontaliChoreographies09},
author = {Montali, Marco and Pesic, Maja and van der Aalst, Wil M. P. and Chesani, Federico and Mello, Paola and Storari, Sergio},
journal = {ACM Transactions on the Web},
note = {Accepted with minor revisions},
title = {Declarative Specification and Verification of Service Choreographies},
year = 2009
}