Specification and Analysis of Service Oriented Architectures within the Calculus of Communicating Sequential Processes (CSP)

Prof. Maribel FernándezABIAR SULIMAN A ALHOMAIMEEDI2022-05-302022-05-3029477https://drepo.sdl.edu.sa/handle/20.500.14154/51888Specification and Analysis of Service Oriented Architectures within the Calculus of Communicating Sequential Processes (CSP)Thesis