Analyzing BPEL4Chor: Verification and participant synthesis (2008)

by N Lohmann, O Kopp, F Leymann, W Reisig
Venue:In Proc. of WS-FM 2007, volume 4937 of LNCS