源码之巅峰

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

收藏(0)

大小: 524KB

文件类型: .pdf

金币: 1

下载: 0 次

发布日期: 2021-05-27
语言: 其他
标签: 进程代数

高速下载

资源简介

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

资源截图

小图大图

代码片段和文件信息

上一篇：104协议详解
下一篇：Event in gem5

评论

共有条评论

相关资源

进程代数的课件讲得比较精简