Skip to Content

Declarative Specification and Verification of Service Choreographies

   page       BibTeX_logo.png       attach   
Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
ACM Transactions on the Web
2009
journal or series
book ACM Transactions on the Web (TWEB)

Declarative Specification and Verification of Service Choreographies
— status
published
— sort
article in journal
who
— authors
Marco Montali  •  Maja Pesic  •  Wil M. P. van der Aalst  •  Federico Chesani  •  Paola Mello  •  Sergio Storari
where & when
— publication date
2009
— journal
ACM Transactions on the Web
APICe
— journal or series
ACM Transactions on the Web
notes
— note
Accepted with minor revisions