本书由图灵奖获得者Robin Milner编著,中国科学院院士林惠民教授主译。通信是计算的—个基本的、不可缺少的部分。通信可能发生在网络上的不同计算机之间,也可能发生在同一合计算机的各个部件之间。在本书中,作者介绍了一种为通信建模的新方法,其特点是将计算机及其程序都看作由相互通信的部分所组成的。并发展了一个理论,即π演算。π演算是一个简单却又具有强大的表达能力的演算。在π演算中,对计算机程序中数据的移动与互联网上的消息(甚至是计算机程序)的传送的处理是完全相同的。

提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。