通信与移动系统 π演算

通信是计算机的一个基本的、不可缺少的部分。通信可能发生在网路上的不同计算机之间，也可能发生在同一台计算机的各个部件之间。在本书中，作者介绍了一种为通信建模的新方法，其特点是将计算机及其程序都看作是有相互通信的部分组成的，并发展了一个理论，即π演算。在π演算中，对计算机程序中数据的移动与互联网上的信息的传送的处理是完全相同的。