---
res:
  bibo_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.@eng'
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Dirk
      foaf_name: Beyer, Dirk
      foaf_surname: Beyer
  - foaf_Person:
      foaf_givenName: Arindam
      foaf_name: Chakrabarti, Arindam
      foaf_surname: Chakrabarti
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Thomas Henzinger
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Sanjit
      foaf_name: Seshia, Sanjit A
      foaf_surname: Seshia
  bibo_doi: '10.1109/ICWS.2007.32 '
  dct_date: 2007^xs_gYear
  dct_publisher: IEEE@
  dct_title: An application of web-service interfaces@
...