Reasoning about Channel Passing in Choreography. - Hongli Yang; Chao Cai 002; Liyang Peng; Xiangpeng Zhao; Zongyan Qiu (TASE, 2008)

Verification of channel passing in choreography with model checking. - Liyang Peng; Chao Cai 002; Zongyan Qiu; Geguang Pu (SOCA, 2009)

Static validation of WS-CDL documents. - Geguang Pu; Zheng Wang 005; Lei Zhou 007; Hanyi Zhang; Tao Wang; Chuchao Yang; Liyang Peng; Meng Sun (Simul. Model. Pract. Theory, 2009)

A Framework for Integrating Human Processes with Business Artifacts. - Zongyan Qiu; Liyang Peng; Hongli Yang (SOSE, 2010)

An on-demand routing protocol for improving channel use efficiency in multichannel ad hoc networks. - Jipeng Zhou; Liyang Peng; Yuhui Deng; Jian-Zhu Lu (J. Netw. Comput. Appl., 2012)

Algorithms for checking channel passing in web service choreography. - Hongli Yang; Chao Cai 002; Liyang Peng; Xiangpeng Zhao; Zongyan Qiu; Shengchao Qin (Frontiers Comput. Sci., 2013)