安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

通信与移动系统:π演算/(英) Robin Milner著 林惠民 ... [等] 译

出版发行项:

北京:清华大学出版社,2009

ISBN及定价:

978-7-302-20725-2/CNY19.00

载体形态项:

160页:图;21cm

统一题名:

Communication and mobile systems : theπ-calculus

个人责任者:

米勒 (Milner, Robin) 著

个人次要责任者:

林惠民 译

个人次要责任者:

柳欣欣 译

个人次要责任者:

刘佳 译

学科主题:

通信系统-系统建模

中图法分类号:

TN914

题名责任附注:

责任者还有: 柳欣欣, 刘佳, 屈楠

出版发行附注:

由Cambridge University Press授权出版

责任者附注:

责任者Milner规范汉译姓 : 米勒

书目附注:

有书目 (第159-160页)

提要文摘附注:

通信是计算的—个基本的、不可缺少的部分。通信可能发生在网络上的不同计算机之间，也可能发生在同一合计算机的各个部件之间。在本书中，作者介绍了一种为通信建模的新方法，其特点是将计算机及其程序都看作由相互通信的部分所组成的。并发展了一个理论，即π演算。π演算是一个简单却又具有强大的表达能力的演算。在π演算中，对计算机程序中数据的移动与互联网上的消息（甚至是计算机程序)的传送的处理是完全相同的。

使用对象附注:

该领域的专业人员和学生。

豆瓣简介：