Liyang Peng

	2009
2		Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun: Static validation of WS-CDL documents. Simulation Modelling Practice and Theory 17(8): 1367-1377 (2009)
	2008
1		Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu: Reasoning about Channel Passing in Choreography. TASE 2008: 135-142

Coauthor Index

1	Chao Cai	[1]
2	Geguang Pu	[2]
3	Zongyan Qiu	[1]
4	Meng Sun	[2]
5	Tao Wang	[2]
6	Zheng Wang	[2]
7	Chuchao Yang	[2]
8	Hongli Yang	[1]
9	Hanyi Zhang	[2]
10	Xiangpeng Zhao	[1]
11	Lei Zhou	[2]