A formal account of WS-BPEL. (2008)

by A Lapadula, R Pugliese, F Tiezzi
Venue:In: COORDINATION.