A WSDL-based type system for WS-BPEL (2006)

by A Lapadula, R Pugliese, F Tiezzi
Venue:In COORDINATION, volume 4038 of LNCS