Specification and analysis of service oriented architectures within the calculus of communicating sequential processes (CSP). - Abiar Suliman Al-Homaimeedi (2016)