进程代数手册 1000多页的大部头 英文版，2000出版，基本上2000年之前的进程代数内容这里面都有了，参考书。