A taxonomy of web services using CSP by Momtahan, L, Martin, A, Roscoe, A

“…Within this framework we also define the notion of Service-Oriented Architecture. These definitions are then used to prove important scalability properties of stateless services. …”