A Compositional Operational Semantics for OWL-S

Barry Norton, Simon Foster, Andrew Hughes. A Compositional Operational Semantics for OWL-S. In Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro, editors, Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings. Volume 3670 of Lecture Notes in Computer Science, pages 303-317, Springer, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.