热门文档
- 2022-09-18 20:22:00 中国人为什么看不起中国人 张鸣
- 2023-04-19 15:04:26 《千家妙方 上册 1982年》(李文亮等编)
- 2023-10-13 17:09:40 楚辞 中华传统诗词经典 可复制-李山-9787101097528
- 2022-09-18 20:22:00 中国兵法之起源 编委会
- 2022-11-24 16:17:09 《性体验与性爱心理》尤里-谢尔巴特赫
- 2022-11-24 16:17:09 《性爱健康指南》石四维编著
- 2023-10-13 17:09:40 超速学习:我这样做,一个月学会素描,一年学会四种语言,完成MIT四年课程-斯科特·扬著,林慈敏译-9789861755533
- 2023-10-13 17:09:40 初中诗词格律读本 可复制-周建忠 徐乃为 王业强编著-9787101121704
- 2022-09-18 19:48:57 心理催眠术 迈克尔.赫普,温迪.德雷顿著
- 2023-10-13 17:09:40 曾国藩家书 中华经典藏书(升级版)可复制-檀作文译注-9787101115482
- 2023-01-11 15:23:39 孔子学院传播研究_刘程 安然著_9787516112922
- 2023-10-13 17:09:40 菜根谭 中华经典藏书(升级版)可复制-杨春俏译注-9787101115611
1、本文档共计 179 页,下载后文档不带www.pdfdz.com水印,支持完整阅读内容。
2、古籍基本都为PDF扫描版,所以文档不支持编辑功能,即不支持文档内文字的复制粘贴。
3、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
4、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
5、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。
2、古籍基本都为PDF扫描版,所以文档不支持编辑功能,即不支持文档内文字的复制粘贴。
3、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
4、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
5、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。
Communicatingand mobile systems:the-calculus通信与移动系统清华大学出版社北京译者序计算机网络的出现与飞速发展,不仅改变了我们的生活和工作的方式,而且也改变了我们对计算现象的认识.在网络时代之前,人们关心的主要是顺序计算.在这种模式下,计算被看作是从输入到输出的函数,永远不终止的计算被认为是没有意义的,因为它不产生任何输出.而在网络出现之后,人们关心更多的是并发计算.在并发计算中,计算主体(进程)在与外界不断的交互中完成所指定的计算任务;而在移动计算中,进程所与之交互的外部环境也在动态地改变.对于这类计算现象,传统的基于“函数”的理论不再适用.如何理解并发、移动计算,为其建立严格的数学模型,从而为实际并发系统的设计与分析提供坚实的理论基础,是近30年来计算机科学面临的重大挑战由图灵奖获得者Milner教授与其者提出的π演算,代表了迄今为止学术界对这一挑战的最为成功的回应.π演算推广了通信进程演算(CCS),允许在通信中传递通道的名字.这一看似简单的推广,使得π演算能够描述通信拓扑结构的动态改变,具有强大的表达能力,同时又继承了CCS简洁优美的语义理论一一互模拟.π演算已经被应用到程序设计语言的设计、分布式系统的分析与验证等领域,产生了广泛的影响本书是关于π演算的第一本专著.Milner教授通过大量的例子,深入浅出地介绍了π演算的基本概念和理论.穿插在全书各章的讨论中,处处闪烁着这位将其毕生精力倾注于计算机科学基础研究的大师对这门学科及其发展的精辟见解.我们希望中译本的出版能有助于国内读者,特别是研究生和年轻科研人员,学习和掌握丌演算的基本原理,并从中受到启发Milner教授慷慨提供了书中所有插图的电子文件,并为中译本写了序,表达了他对中国计算机科学事业的祝福和期望.我们谨对他在本书翻译者序译过程中所给予的帮助表示衷心的感谢译者中国科学院软件研究所计算机科学国家重点实验室2009年7月