暂无评论
一个ppt，一个英文pdf，对于进程代数的了解有点帮助！
基于进程代数安全协议验证的研究综述论文，别人推荐给我的
进程代数是关于通信并发系统的代数理论的统称。 20世纪70年代后期，英国学者RMnner和C. A.R，分别提出了通信系统演算和通信顺序进程，开创了用代数方法研究通信并发系统的先河。本文是进程代数入门
进程代数的历史这本书介绍了进程代数的产生发展过程,对学习进程代数和研究安全协议的人很有用。
这是一本安全理论方面不可多得的好书,作者用通俗易懂的语言全面介绍了安全的数学基础之一——近世代数
进程代数英文为：processalgebra，在英文中，这个词组中的process代表一个system(系统的)behavior（行为）；一个系统就是一个能表现出各种行为的事物，在计算机世界，proc
一个进程代数的ppt Jos Baeten, TU/e 外文资料
代数系统：群G、环R、域P.满足一定规律或定律的系统是代数系统 代数运算：加法运算、乘法运算 运算规律：交换率、结合律
逻辑代数基础.
信息安全专业课密码学基础课程教材，王小云教授编写的数论与代数结构配套考题
暂无评论