通信与移动系统 豆 0.0分

资源最后更新于 2020-10-22 15:45:26

作者：[美] 米勒

译者：林惠民//柳欣欣//刘佳//屈楠

出版社：清华大学

出版日期：2009-01

ISBN：9787302207252

文件格式： pdf

标签： Pi演算 计算机 图灵奖 分布式与并行 数学 人工智能 计算理论 计算机科学

简介· · · · · ·

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

《通信与移动系统：π演算》是关于π演算的第一本教科书，它的出版是该领域的专业人员和学生所期待已久的盛事。