中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-4 of 4)

Filters    
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

 
confinement framework for encapsulating objects [期刊论文]
Frontiers of Computer Science, 2013-01-01, 页码: 1-21
Shu Qin; Qiu Zongyan; Wang Shuling

 
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
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace