publication 2013 An Extended CSP for Service-Oriented Architectures Publication Work Type Full version more of publication Enabling Synchronous and Asynchronous Communications in CSP for SOC by Abeer S. Al-Humaimeedy, Maribel Fernandez 2014 Modelling Dynamic Compensations within the Process Calculus of Communicating Sequential Processes (CSP) by Abeer S. Al-Humaimeedy 2014 Survey on the Service-Oriented Architecture Process Calculi by Abeer S. Al-Humaimeedy 2012