doi dblpDesign for verification for asynchronously communicating Web servicesAysu Betin-Can | Tevfik Bultan | Xiang FuProceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005