A taxonomy of web services in CSP - Roscoe, A; Martin, A; Momtahan, L (Proceedings of Web Languages and Formal Methods 2005, 2005)