Communicating and Mobile Systems the Pi-Calculus

时间:2014-04-28 13:43:10
【文件属性】:

文件名称:Communicating and Mobile Systems the Pi-Calculus

文件大小:6.52MB

文件格式:RAR

更新时间:2014-04-28 13:43:10

进程代数 pi计算

Communicating and Mobile Systems the Pi-Calculus,经典书,内附阅读工具WinDjView


【文件预览】:
Communicating and Mobile Systems the Pi-Calculus
----Communicating and Mobile Systems the Pi-Calculus.part2.rar(1.24MB)
----WinDjView_0.5.rar(522KB)
----Communicating and Mobile Systems the Pi-Calculus.part1.rar(4.77MB)

网友评论

  • 压缩文件包不完整,只有part1,无法用
  • 文件损坏,无法解压
  • 讲演算的经典书籍,循序深入,值得一读!
  • 介绍pi演算的经典书籍。搞进程代数的一定要看一看。
  • 楼上的你好,我也在读这本书。能交流交流吗?这个材料真不错。
  • 讲演算的经典书籍,循序深入,值得一读!
  • 讲演算的经典书籍,虽然是英文,但行文还是简单通俗,循序深入,值得一读!国内有林惠民老师的中译本,不过我在读的时候发现了一些小bug,主要是些笔误,不过与这本原著对照,一切就都清晰了!