المنشورات 2013 An Extended CSP for Service-Oriented Architectures نوع عمل المنشور Full version مزيد من المنشورات Enabling Synchronous and Asynchronous Communications in CSP for SOC بواسطة Abeer S. Al-Humaimeedy, Maribel Fernandez 2014 Modelling Dynamic Compensations within the Process Calculus of Communicating Sequential Processes (CSP) بواسطة Abeer S. Al-Humaimeedy 2014 Survey on the Service-Oriented Architecture Process Calculi بواسطة Abeer S. Al-Humaimeedy 2012