一个ppt，一个英文pdf，对于进程代数的了解有点帮助！
pi演算的验证工具，用于操作和分析移动并发系统的自动化pi演算，使用函数式语言sml构建。软件环境为windows2000。MWB99版。
进程代数是关于通信并发系统的代数理论的统称。 20世纪70年代后期，英国学者RMnner和C. A.R，分别提出了通信系统演算和通信顺序进程，开创了用代数方法研究通信并发系统的先河。本文是进程代数入门
安全进程代数基础
进程代数的历史这本书介绍了进程代数的产生发展过程,对学习进程代数和研究安全协议的人很有用。
进程代数英文为：processalgebra，在英文中，这个词组中的process代表一个system(系统的)behavior（行为）；一个系统就是一个能表现出各种行为的事物，在计算机世界，proc
一个进程代数的ppt Jos Baeten, TU/e 外文资料
Milner经典著作第三弹第一弹没找着，呵呵供需要的坛友下吧
进程代数的课件，主要是针对IntroductiontoProcessAlgebra这本书的
Communication Sequential Process （简称CSP）是著名计算机科学家C.A.R.Hoare为解决并发现象而提出的代数理论，是一个专为描述并发系统中通过消息交换进行交互通信
用户评论