Switzerland University of California / University of California / /
IndustryTerm
particular airline reservation service / hotel reservation web services / web service behavior / web methods / web service errors / payment processing web method / airline ticket reservation service / web service interfaces / airline / web service signature sig / least solution / web service code / web service signatures / web service application / web method / web service conversation / polynomial-time algorithm / Web service compatibility / software components / communication protocols / labeled transition systems / refined web service signature / supplier web services / credit card processing service / web service / web service signature / Web service substitutivity / credit card processing service fulfilling / infinite-state systems / transition systems / web service interface / web services / /
OperatingSystem
Fork / /
Organization
National Science Foundation / International World Wide Web Conference Committee / University of California / Berkeley / /
Person
Thomas A. Henzinger / Ai / Dirk Beyer Arindam Chakrabarti Thomas / /
Position
model the Shop web service / rich model for representing web service behavior / Interface definition languages General / /
ProgrammingLanguage
C / /
Technology
three protocol / specification checking The algorithm / polynomial-time algorithm / dom / simulation / communication protocols / web service B. The algorithm / two protocol / /
Web Service Interfaces∗ Dirk Beyer Arindam Chakrabarti Thomas A. Henzinger