进程代数_讯易软件-源码之巅峰

源码之巅峰

当前位置：> TAG标签 > 进程代数

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

编程语言：其他大小：金币：上传人：97804a 发布日期：2021-05-27

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

编程语言：其他大小：金币：上传人：kbls57736 发布日期：2021-05-19

进程代数的课件，主要是针对Introduction to Process Algebra这本书的

2条

热门下载