A taxonomy of web services in CSP (Proceedings of Web Languages and Formal Methods 2005, 2005)

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