Hongli Yang Chao Cai Liyang Peng Xiangpeng Zhao Zongyan Qiu Reasoning about Channel Passing in Choreography. 135-142 2008 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2008.19 conf/tase/2008 db/conf/tase/tase2008.html#YangCPZQ08