We stand with Ukraine  

Chao Cai

Affiliations:
  • China Defense Science and Technology Information Center, Beijing, China
  • Peking University, School of Mathematical Science, LMAM and Department of Informatics, Beijing, China


According to our database1, Chao Cai authored at least 14 papers between 2006 and 2013.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Algorithms for checking channel passing in web service choreography.
[BibTeX]
[DOI]
Hongli Yang
,
Chao Cai
,
Liyang Peng
,
Xiangpeng Zhao
,
Zongyan Qiu
,
Shengchao Qin
Frontiers Comput. Sci., 2013

2009
Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling.
[BibTeX]
[DOI]
Chao Cai
,
Zongyan Qiu
,
Hongli Yang
,
Xiangpeng Zhao
J. Comput. Sci. Technol., 2009

Verification of channel passing in choreography with model checking.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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

Model-Checking of Web Services Choreography.
[BibTeX]
[DOI]
Hongli Yang
,
Xiangpeng Zhao
,
Chao Cai
,
Zongyan Qiu
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A Formal Model of Human Workflow.
[BibTeX]
[DOI]
Xiangpeng Zhao
,
Zongyan Qiu
,
Chao Cai
,
Hongli Yang
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

An Approach to Check Choreography with Channel Passing in WS-CDL.
[BibTeX]
[DOI]
Chao Cai
,
Zongyan Qiu
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Correct Channel Passing by Construction.
[BibTeX]
[DOI]
Chao Cai
,
Zongyan Qiu
,
Xiangpeng Zhao
,
Hongli Yang
Proceedings of the Formal Methods and Software Engineering, 2008

A Formal Model for Channel Passing in Web Service Composition.
[BibTeX]
[DOI]
Chao Cai
,
Hongli Yang
,
Xiangpeng Zhao
,
Zongyan Qiu
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
Towards the theoretical foundation of choreography.
[BibTeX]
[DOI]
Zongyan Qiu
,
Xiangpeng Zhao
,
Chao Cai
,
Hongli Yang
Proceedings of the 16th International Conference on World Wide Web, 2007

A QoS View ofWeb Service Choreography.
[BibTeX]
[DOI]
Xiangpeng Zhao
,
Chao Cai
,
Hongli Yang
,
Zongyan Qiu
Proceedings of ICEBE 2007, 2007

Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.
[BibTeX]
[DOI]
Hongli Yang
,
Xiangpeng Zhao
,
Chao Cai
,
Zongyan Qiu
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Tool Support for BPEL Verification in ActiveBPEL Engine.
[BibTeX]
[DOI]
Yi Qian
,
Yuming Xu
,
Zheng Wang
,
Geguang Pu
,
Huibiao Zhu
,
Chao Cai
Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006
Type Checking Choreography Description Language.
[BibTeX]
[DOI]
Hongli Yang
,
Xiangpeng Zhao
,
Zongyan Qiu
,
Chao Cai
,
Geguang Pu
Proceedings of the Formal Methods and Software Engineering, 2006


  Loading...