Chao Cai Hongli Yang Xiangpeng Zhao Zongyan Qiu A Formal Model for Channel Passing in Web Service Composition. 495-496 2008 IEEE SCC (2) http://doi.ieeecomputersociety.org/10.1109/SCC.2008.110 conf/IEEEscc/2008 db/conf/IEEEscc/scc2008.html#CaiYZQ08