Design for verification for asynchronously communicating Web services.

Aysu Betin-Can, Tevfik Bultan, Xiang Fu

Browse the full WWW paper archive.