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
- Volume:
- 2010 Volume 4 Issue 1
- Year:
- 2010
- Venue:
- tweb_journal
- Pages:
- 3:1–3:62
- URL:
- https://doi.org/10.1145/1658373.1658376
- DOI:
- 10.1145/1658373.1658376
- DBLP:
- journals/tweb/MontaliPACMS10