译者序

译者一直好奇这个复杂的世界是基于逻辑的，还是基于数学的。 并发行为无处不在，大到浩瀚星宇，小到微观粒子。其共性是一个分布并发复杂系统(Complex System)，各个组成个体(Agent)独立的运行着，但同时彼此交换信息，彼此影响。复杂系统蕴含的巨大的不确定性，这使得人们对其本质的理解和把握充满了好奇。

感谢图灵奖获得者，英国皇家学会院士Tony Hoare关于CSP(Communicating Sequential Process)的开创性的工作。CSP通过引入代数的手段，利用符号逻辑的方法来形式化描述和精确推演一个复杂系统的迭代行为，令人无比倾佩。

感谢中国科学院周巢尘院士上个世纪80年代与Tony Hoare之间的学术合作研究， 和在1988年领衔翻译出版了Hoare的这一经典著作，对中国计算机科学在数理逻辑，程序语言，软件可靠性验证的研究做出了巨大的贡献。我们永远心存感激。

未来的世界，万物互联。 随着人工智能科技的兴起， 无人驾驶汽车、无人飞行器、智能机器人和海量物联网设备等等正在迅速的普􏱀。这些大规模互联智能系统的 安全性(Safeness) 、可靠性(Reliability) 、鲁棒性(Robustness) 、弹性(Resilience)和高可用性 (Availability)变得对社会，家庭和个人息息相关(Mission Critical)，已经成为人类未来可持续发展的重要课题。

译者认为我们可能需要更多的从并发系统的本质来理解系统的不确定性， 从并发系统状态空间的爆炸性的角度来理解和设计未来的智能系统。这是为什么时隔30年，译者在Hoare的1985年出版的《Communicating Sequential Processes》一书，牛津大学Jim Davies于2015 年发布的CSP电子版本，和周巢尘院士于1988年由北京大学出版社出版的《通信顺序进程》一书工作的基础上，重新翻译和着重加注这本关于并发理论的经典著作，并反馈给社区的主要目的。

译者在并发理论方面水平有限，但对系统行为的不确定性，对系统行为的复杂性充满了好奇。希望这一非营利性的工作对社会，对相关的研究人员和学生有益。