Describing and Reasoning on Web Services using Process Algebra

Gwen Salaün, Lucas Bordeaux, Marco Schaerf. Describing and Reasoning on Web Services using Process Algebra. In Proceedings of the IEEE International Conference on Web Services (ICWS 04), June 6-9, 2004, San Diego, California, USA. pages 43, IEEE Computer Society, 2004. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.