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

Search