中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-3 of 3)

Items/Page: Sort:
	algorithms for checking channel passing in web service choreography [期刊论文] Frontiers of Computer Science, 2013-01-01, 页码: 1-19 Yang Hongli; Cai Chao; Peng Liyang; Zhao Xiangpeng; Qiu Zongyan; Qin Shengchao
	reasoning about channel passing in choreography [会议论文] 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, Nanjing, China, 37424 Hongli Yang; Chao Cai; Liyang Peng; Xiangpeng Zhao; Zongyan Qiu \|
	model-checking of web services choreography [会议论文] 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, Jhongli, Taiwan, 40878 Hongli Yang; Xiangpeng Zhao; Chao Cai; Zongyan Qiu \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In