Describing and reasoning on Web services using process algebra

By Gwen Salaün, Lucas Bordeaux, Marco Schaerf. Proceedings. IEEE International Conference on Web Services, 2004., 2004

357 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems, Management Information Systems

View Paper: https://www.semanticscholar.org/paper/9d3e3f98ed932e72b41517a993cdae32c8d0b9d6