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. IJBPIM, 1(2):116-128, 2006. [doi]

Abstract

Abstract is missing.