Skip to Content

Declarative Specification and Verification of Service Choreographies

   Info_icon.svg       Eye_icon.svg       BibTeX_logo.svg   
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
Journal_icon.svg 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
local files
cover  •  card
APICe
— journal or series
ACM Transactions on the Web
notes
— note
Accepted with minor revisions