Gwen Salaün Lucas Bordeaux Marco Schaerf Describing and Reasoning on Web Services using Process Algebra. 43- 2004 conf/icws/2004 ICWS http://doi.ieeecomputersociety.org/10.1109/ICWS.2004.46 db/conf/icws/icws2004.html#SalaunBS04