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

时间:2015-10-10 10:32:25
【文件属性】:

文件名称:一份对进程代数的简要介绍

文件大小:524KB

文件格式:PDF

更新时间:2015-10-10 10:32:25

进程代数 形式化方法

由我自己整理的对形式化方法中的进程代数给了一个总体的概览,因为国内做这个方向的不过,而且中文资料少得可怜,仅以分享。


网友评论

  • 介绍的是比较简单,不过也好,容易理解,慢慢渗入!
  • 这方面资料目前还不多,介绍的有点简单
  • 谢谢,这方面还真缺少资料