文件名称:进程代数入门教材
文件大小:1005KB
文件格式:PDF
更新时间:2015-12-22 14:44:54
进程代数
进程代数是关于通信并发系统的代数理论的统称。 20世纪70年代后期,英国学者RMnner和C. A.R,分别提出了通信系统演算和通信顺序进程,开创了用代数方法研究通信并发系统的先河。本文是进程代数入门教材,学习并发系统建模的必备知识。
文件名称:进程代数入门教材
文件大小:1005KB
文件格式:PDF
更新时间:2015-12-22 14:44:54
进程代数
进程代数是关于通信并发系统的代数理论的统称。 20世纪70年代后期,英国学者RMnner和C. A.R,分别提出了通信系统演算和通信顺序进程,开创了用代数方法研究通信并发系统的先河。本文是进程代数入门教材,学习并发系统建模的必备知识。