Declarative Specification and Verification of Service Choreographies
 |
 |
@article{Montali2009:Choreographies,
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}
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}