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

Conference Paper

Al-Humaimeedy, Abeer S. . 2014

• اسم المؤتمر: The 7th Saudi International Scientific Conference (SSC)
• عنوان المؤتمر: Edinburgh, UK
• تاريخ المؤتمر: السبت, شباط (فبراير) 1, 2014