Declarative Specification and Verification of Service Choreographies


Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari

ACM Transactions on the Web,  2009
Accepted with minor revisions

 @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

Tags:

Publication

— authors

Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari

— status

published

— sort

article in journal

Venue

— journal

ACM Transactions on the Web

— publication date

2009

BibTeX

— BibTeX ID
Montali2009:Choreographies
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY