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]

Authors

Gwen Salaün

This author has not been identified. It may be one of the following persons: Look up 'Gwen Salaün' in Google

Lucas Bordeaux

This author has not been identified. Look up 'Lucas Bordeaux' in Google

Marco Schaerf

This author has not been identified. Look up 'Marco Schaerf' in Google