Describing and Reasoning on Web Services using Process Algebra.

Gwen Salan, Lucas Bordeaux, Marco Schaerf

Browse the full ICWS paper archive.