Author Info
Name
Affiliation
Papers
CHAO CAI
LMAM and Department of Informatics, School of Mathematical Science, Peking University, Beijing, China
11
Collaborators
Citations 
PageRank 
10
145
8.48
Referers 
Referees 
References 
334
166
133
Search Limit
100334
Title
Citations
PageRank
Year
Algorithms for checking channel passing in web service choreography10.352013
Global-to-local approach to rigorously developing distributed system with exception handling00.342009
Verification of channel passing in choreography with model checking30.412009
A Formal Model for Channel Passing in Web Service Composition30.472008
Reasoning about Channel Passing in Choreography80.622008
Correct Channel Passing by Construction10.352008
An Approach to Check Choreography with Channel Passing in WS-CDL60.512008
A Formal Model of Human Workflow120.712008
Towards the theoretical foundation of choreography842.992007
Tool Support for BPEL Verification in ActiveBPEL Engine160.872007
Type checking choreography description language110.872006