不慌、耿
这家伙很懒，什么也没写
Ta上传的资源 (0)
通信顺序进程CSP英文版
通信顺序进程英文版 Hoare经典著作 经典无需多言。
Handbook of Process Algebra第二部分
进程代数手册第二部分
60多M压缩完了50多兆，只好分两部分压缩了。
CommunicatingandMobileSystemsthePiCalculus
图灵奖得主Milner著作该牛有三本通信系统演算著作：1989CommunicationandConcurrency一直无电子版1999CommunicatingandMobileSystemsthePi-Calculus就是本书2009TheSpaceandMotionofCommunicatin
进程代数之通信与移动系统pai演算
进程代数之通信与移动系统：pai演算图灵奖得主Milner经典著作此为英文版，国内有中文版。89年那本经典著作没找到英文版，就从这本开始吧。
进程代数之The Space and Motion of Communicating Agents
Milner经典著作第三弹第一弹没找着，呵呵供需要的坛友下吧
自动机工具FLAP
java开发的自动机工具集FLAP基本上形式化与自动机方面的实例都有了，很不错的工具。
通信顺序进程中文版
通信顺序进程 CSP中文版 原装Hoare，周尘巢老师翻译，绝版书籍。
Handbook of Process Algebra进程代数手册
进程代数手册 1000多页的大部头 英文版，2000出版，基本上2000年之前的进程代数内容这里面都有了，参考书。
CSP工具FDR
CSP工具FDR