Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis

Wolfram Amme, Axel Martens, Simon Moser. Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. IJBPIM, 4(1):47-59, 2009. [doi]

No reviews for this publication, yet.