Return to Issue Details A Process Algebra Approach of BPEL4WS Download Download PDF