Declarative Specification and Verification of Service Choreographies

   page       BibTeX_logo.png   
Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
ACM Transactions on the Web
2009