并发系统Promela建模、SPIN的使用
并发系统Promela语法规则，并发系统建模和SPIN的使用
下载地址
用户评论
内容还行，归纳一般
文档很全，格式是mht，但是主要的三个关于Promela建模、SPIN的使用的文件生成了pdf格式，很好。
介绍比较详细，各种协议的的建模也分析得仔细~
挺详细的资料,感觉和好多论文上的内容差不多
格式是网页的。汉语。从语言介绍到模型分析 挺全的。后边儿是扩展吧。。还有密码协议和petri网之类