进程代数的历史这本书介绍了进程代数的产生发展过程,对学习进程代数和研究安全协议的人很有用。