Liyang Peng

According to our database, Liyang Peng authored at least 6 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Algorithms for checking channel passing in web service choreography.

Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin

Frontiers Comput. Sci., 2013

2012

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

2010

A Framework for Integrating Human Processes with Business Artifacts.

Zongyan Qiu, Liyang Peng, Hongli Yang

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

2009

Static validation of WS-CDL documents.

Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun

Simul. Model. Pract. Theory, 2009

Verification of channel passing in choreography with model checking.

Liyang Peng, Chao Cai, Zongyan Qiu, Geguang Pu

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

2008

Reasoning about Channel Passing in Choreography.

Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008