APICe » Publications » Class » MontaliChoreographies09

Declarative Specification and Verification of Service Choreographies

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}