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

Declarative Specification and Verification of Service Choreographies

— status

published  

— authors

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

BibTeX

— BibTeX ID
Montali2009:Choreographies
— BibTeX category
article

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