Modelling Dynamic Compensations within the Process Calculus of Communicating Sequential Processes (CSP)

Conference Paper
Al-Humaimeedy, Abeer S. . 2014
Conference Name: 
The 7th Saudi International Scientific Conference (SSC)
Conference Location: 
Edinburgh, UK
Conference Date: 
Saturday, February 1, 2014