communicating and mobile systems: the pi-calculus

时间：2013-08-26 08:15:30
【文件属性】：

文件名称：communicating and mobile systems: the pi-calculus

文件大小：6MB

文件格式：DJVU

更新时间：2013-08-26 08:15:30

processes pi-calculus mobile

此书作者robin milner是图灵奖得主。书中milner以直观而严格的方式介绍了他所发明了pi演算。pi演算的用途是作为描述并行计算的基本理论。

立即下载

网友评论

  • 打印出来之后还是很清晰的
  • 资料不错，找了很多地方，R milner的书，还是这里下载方便。谢谢！
  • 不错，扫描版的。
  • 非常需要的一本书，书的内容也很好。 需要自动机理论基础，前4章的内容可以看introduction to bisimulation 这本书，感觉写的比这本书开头几章更容易理解
  • 表示真的重要 正在学 不胜感激 我也正在学
  • 似乎是半本书的内容？
  • 书本身质量很不错 , 书内容更不用提了.
  • 太好了,非常需要这本书
  • 非常好，国外的网站都下不到
  • 太好了 我找了很久的东西 这个是真正有用的技术，不是那些皮毛的东西。真正懂计算机体系的人写的，不是伪专家写的东西。
  • 非常好的学习资料，多谢
  • 这本书电子版真的难找。多亏这位友情上传。现在正在上有关的课程。
  • pi calculus已经应用到了除计算机行业以外的生物、化学、医学领域，本书的作者相当了不起！
  • 非常理论的东东，正好需要

相关文章