Design for verification for asynchronously communicating Web services.

Aysu Betin-Can Tevfik Bultan Xiang Fu

Published in: WWW (2005)

Keyphrases

web services
formal verification
case study
design decisions
data sets
user interface
design principles
computing paradigm