Xiangpeng Zhao

Xiangpeng Zhao

Facebook Inc - Camridge / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4380007
person_outline Xiangpeng Zhao's MOST POPULAR ARTICLES
1-) Towards the theoretical foundation of choreography Proceedings of the 16th international conference on World Wide Web, 973-982, 2007
2-) Towards the semantics and verification of BPEL4WS Electronic Notes in Theoretical Computer Science 151 (2), 33-52, 2006
3-) A formal model forweb service choreography description language (WS-CDL) 2006 IEEE International Conference on Web Services (ICWS'06), 893-894, 2006
4-) Semantics of BPEL4WS-like fault and compensation handling International Symposium on Formal Methods, 350-365, 2005
5-) Towards a theory of web service choreographies International Workshop on Web Services and Formal Methods, 1-16, 2007