| 2008 |
|---|
| 8 | EE | Chao Cai,
Zongyan Qiu,
Xiangpeng Zhao,
Hongli Yang:
Correct Channel Passing by Construction.
ICFEM 2008: 338-354 |
| 7 | EE | Xiangpeng Zhao,
Zongyan Qiu,
Chao Cai,
Hongli Yang:
A Formal Model of Human Workflow.
ICWS 2008: 195-202 |
| 6 | EE | Chao Cai,
Hongli Yang,
Xiangpeng Zhao,
Zongyan Qiu:
A Formal Model for Channel Passing in Web Service Composition.
IEEE SCC (2) 2008: 495-496 |
| 5 | EE | Hongli Yang,
Chao Cai,
Liyang Peng,
Xiangpeng Zhao,
Zongyan Qiu:
Reasoning about Channel Passing in Choreography.
TASE 2008: 135-142 |
| 2007 |
|---|
| 4 | EE | Zongyan Qiu,
Xiangpeng Zhao,
Chao Cai,
Hongli Yang:
Towards the theoretical foundation of choreography.
WWW 2007: 973-982 |
| 2006 |
|---|
| 3 | EE | Hongli Yang,
Xiangpeng Zhao,
Zongyan Qiu,
Chao Cai,
Geguang Pu:
Type Checking Choreography Description Language.
ICFEM 2006: 264-283 |
| 2 | EE | Hongli Yang,
Xiangpeng Zhao,
Zongyan Qiu,
Geguang Pu,
Shuling Wang:
A Formal Model forWeb Service Choreography Description Language (WS-CDL).
ICWS 2006: 893-894 |
| 1 | EE | Xiangpeng Zhao,
Hongli Yang,
Zongyan Qiu:
Towards the Formal Model and Verification of Web Service Choreography Description Language.
WS-FM 2006: 273-287 |
