Declarative specification and verification of service choreographiess.
Marco Montali|Maja Pesic|Wil M. P. van der Aalst|Federico Chesani|Paola Mello|Sergio Storari
| Anthology ID: | DBLP:journals/tweb/MontaliPACMS10 |
|---|---|
| Year: | 2010 |
| Venue: | ACM Transactions on the Web |
| Pages: | 3:1-3:62 |
| URL: | https://doi.org/10.1145/1658373.1658376 |
| DOI: | https://doi.org/10.1145/1658373.1658376 |
| DBLP: | journals/tweb/MontaliPACMS10 |
| BibTeX: |
@article{montali-2010-declarative,
author = {Marco Montali and
Maja Pesic and
Wil M. P. van der Aalst and
Federico Chesani and
Paola Mello and
Sergio Storari},
title = {{Declarative specification and verification of service choreographiess}},
journal = {ACM Transactions on the Web},
volume = {4},
number = {1},
pages = {3:1--3:62},
year = {2010},
url = {https://doi.org/10.1145/1658373.1658376},
doi = {https://doi.org/10.1145/1658373.1658376}
}