一份对进程代数的简要介绍

【文件属性】：
文件名称：一份对进程代数的简要介绍
文件大小：524KB
文件格式：PDF
更新时间：2015-10-10 10:32:25
进程代数 形式化方法 由我自己整理的对形式化方法中的进程代数给了一个总体的概览，因为国内做这个方向的不过，而且中文资料少得可怜，仅以分享。