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]
Abstract is missing.