![](/img/cover-not-exists.png)
Declarative specification and verification of service choreographiess
Montali, Marco, Pesic, Maja, Aalst, Wil M. P. van der, Chesani, Federico, Mello, Paola, Storari, SergioVolume:
4
Language:
english
Journal:
ACM Transactions on the Web
DOI:
10.1145/1658373.1658376
Date:
January, 2010
File:
PDF, 4.72 MB
english, 2010