IR
Anthology
Community
Maja
Pesic
2010
doi
dblp
Declarative specification and verification of service choreographiess.
Marco Montali
|
Maja Pesic
|
Wil M. P. van der Aalst
|
Federico Chesani
|
Paola Mello
|
Sergio Storari
ACM Transactions on the Web 2010 Volume 4 Issue 1