进程代数入门教材

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