热门文档
- 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
- 2022-09-18 19:48:57 心理催眠术 迈克尔.赫普,温迪.德雷顿著
- 2023-10-13 17:09:40 初中诗词格律读本 可复制-周建忠 徐乃为 王业强编著-9787101121704
- 2023-10-13 17:09:40 曾国藩家书 中华经典藏书(升级版)可复制-檀作文译注-9787101115482
- 2023-01-11 15:23:39 孔子学院传播研究_刘程 安然著_9787516112922
- 2022-09-18 19:48:57 成功创业72绝招 艾凡著
1、本文档共计 178 页，下载后文档不带www.pdfdz.com水印，支持完整阅读内容。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
译者序译过程中所给予的帮助表示衷心的感谢译者中国科学院软件研究所计算机科学国家重点实验室2009年7月ForwardThe advances in computing in the past sixty years have been dratic.The next sixty years will be even more so,as computing emerges fromour offices,factories and laboratories and becomes a pervasive part of ourenvironment.From the technology of computing as calculation,we advanceto infortics as a science of communication and control.Most technology,such as the tools of structural or electrical engineer-ing,rests upon a previously developed physical science.For infortiontechnology (IT),we are developing the science after the technology.As theartifacts of IT pervade our lives more and more,the need for this scienceand its thetical expression becomes more and more important.Wealready know how hard it is to understand and to intain present-daylarge software systems;yet those of the future will be larger and our de-pendence upon them will be greater.To see this,we need only think ofa future system with sensors and actuators in vehicles and on motorways,replacing hun drivers,or with sensors and actuators on the hun bodythat monitor and control our physical health.As a country of great and increasing importance in the world,Chinahas an opportunity to guide the scientific foundation of new technologies.The pi calculus is one step forward in seeking a sound thetical basisfor future distributed infortic systems.It has already had some influenceon the design of languages in which we specify and program these systems.As the original author of this book I was therefore delighted to accept theoffer of two expert scientists,Lin Huimin and Liu Xinxin,to translate itinto Chinese.Robin MilnerProfessor of Computer ScienceUniversities of Cambridge and Edinburghe 2009
