@inproceedings{4575,
  abstract     = {We present a case study to illustrate our formalism for the specification and verification of the method-invocation behavior of web-service applications constructed from asynchronously interacting multi-threaded distributed components. Our model is expressive enough to allow the representation of recursion and dynamic thread creation, and yet permits the algorithmic analysis of the following two questions: (1) Does a given service satisfy a safety specification? (2) Can a given service be substituted by a another service in an arbitrary context? Our case study is based on the Amazon.com E-Commerce Services (ECS) platform.},
  author       = {Beyer, Dirk and Chakrabarti, Arindam and Thomas Henzinger and Seshia, Sanjit A},
  pages        = {831 -- 838},
  publisher    = {IEEE},
  title        = {{An application of web-service interfaces}},
  doi          = {10.1109/ICWS.2007.32 },
  year         = {2007},
}