A Taxonomy of Web Services Using CSP (Proceedings of Web Languages and Formal Methods, 2005)

(untitled) - Momtahan, L; Martin, A; Roscoe, A