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
rivista o collana
book ACM Transactions on the Web (TWEB)

Declarative Specification and Verification of Service Choreographies
— stato
pubblicato
— tipo
articolo in rivista
chi
— autori
Marco Montali  •  Maja Pesic  •  Wil M. P. van der Aalst  •  Federico Chesani  •  Paola Mello  •  Sergio Storari
dove e quando
— data di pubblicazione
2009
— rivista
ACM Transactions on the Web
APICe
— rivista o collana
ACM Transactions on the Web
note
— nota
Accepted with minor revisions