Xiang Fu

2005

doi dblp
Design for verification for asynchronously communicating Web services.
Aysu Betin-Can|Tevfik Bultan|Xiang Fu
Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005

2004

doi dblp
Analysis of interacting BPEL web services.
Xiang Fu|Tevfik Bultan|Jianwen Su
Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004

2003

doi dblp
Conversation specification: a new approach to design and analysis of e-service composition.
Tevfik Bultan|Xiang Fu|Richard Hull|Jianwen Su
Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, Budapest, Hungary, May 20-24, 2003