进程代数入门(第二版)
Springer出版的进程代数第二版
2007年
原版
下载地址
用户评论
英文的啊。。
英文版资料很不错，对初学者很有帮助！
最近在学进程代数，图书馆都没有这本纸质版的书，而且会的人也不是很多，这是本很好的资料啊，收藏！
进程代数入门用相当不错，但是悲剧的是我下载完后才发现我已经有了。