Pi-Calculus Systems / IEEE Press / American Mathematical Society Press / ACM Press / Substitutability / Iterative Reformulation / IEEE CS Press / / /
Event
Product Issues / FDA Phase / Product Recall / /
Facility
Prentice Hall / Computer Science Iowa State University / /
IndustryTerm
airline preference / Web Services Compatible / service-oriented computing / Web Applications / Web service specifications / user airline preference / Web services Substitution / candidate services / sample services / Web service interfaces / Web Services We / Internet Computing / Web Services Interfaces / Web Service Composition / event systems / Web Conference / software components / model checking ring protocols / e - business / labeled transition systems / computing / airline reservations / airline/hotel pref / event-driven systems / Web service / Web service substitution / transition systems / composite services / component/pre-existing services / interaction protocols / search results / Web Service Protocols / Web services / /
Organization
Iowa State University Center / National Science Foundation / Web Services Jyotishman Pathak Samik Basu Vasant Honavar Department / Introduction Service / Iowa State University / IEEE Computer Society / Computational Intelligence / /
Position
representative / controller / /
Product
Labeled Transition Systems3 / EnvironmentDependent This paper / represented using Labeled Transition Systems3 / to / /
ProvinceOrState
New York / /
PublishedMedium
Pacific Journal of Mathematics / Theoretical Computer Science / /
Technology
interaction protocols / http / Managing Web Service Protocols / simulation / model checking ring protocols / /