进程代数入门教材

时间:2015-12-22 14:44:54
【文件属性】:

文件名称:进程代数入门教材

文件大小:1005KB

文件格式:PDF

更新时间:2015-12-22 14:44:54

进程代数

进程代数是关于通信并发系统的代数理论的统称。 20世纪70年代后期,英国学者RMnner和C. A.R,分别提出了通信系统演算和通信顺序进程,开创了用代数方法研究通信并发系统的先河。本文是进程代数入门教材,学习并发系统建模的必备知识。


网友评论

  • 这个之前的第二版重复了。。。
  • 很不错,可以参考
  • 英文的,没法看,,,
  • 进程代数的资料不多,能够在此找到算我幸运
  • 全是英语,看不太明白
  • 一本很好的进程代数入门参考书
  • 好书,很好的进程代数教材
  • 全是英语,看不太明白
  • 还行吧,还没怎么看,不过是英文版德 。
  • 正是我所需要的,感谢