You are about to access our book library "Web Service Composition: A Comparison of BPEL with A Process Algebra full version" .