摘要：
今天大概的翻看了林惠民院士等翻译的Robin Milner的《通信与移动系统--pi-演算》一书，清楚了以下几个问题：1.pi-演算的出现背景？答：在网络时代之前，人们关心的主要是顺序计算。在这种模式下，计算被看作是从输入到输出的函数；永远不终止的计算被认为是没有意义的，因为它不产生任何输出。而在网络出现之后，人们关心更多的是并发计算。在并发计算中，计算主体(进程)在于外界不断的交互中完成所制定的计算任务；而在移动计算中，进程所与之交互的外部环境也在动态地改变。对于这类计算现场，传统的基于"函数"的理论不再适用。如何理解并发、移动计算，为其建立严格的数学模型，从而为实际并发 阅读全文
