Web Service Composition -- BPEL vs cCSP Process Algebra | IEEE Conference Publication | IEEE Xplore