|
题名:
|
通信与移动系统π演算
/
Robin Milner著
,
林惠民[等] 译
|
|
ISBN:
|
978-7-302-20725-2
价格：
CNY19.00
|
|
语种:
|
chi
|
|
载体形态:
|
160页
21cm
|
|
出版发行:
|
出版地：
北京
出版社：
清华大学出版社
出版日期：
2009
|
|
内容提要:
|
本书是关于π演算的专著，作者通过大量的例子介绍了π演算的基本概念和理论。包括自动机的行为、顺序进程和互模拟、并发进程与交互、迁移和强等价等章节。
|
|
主题词:
|
通信系统
系统建模
|
|
中图分类法:
|
TN914
版次：
4
|
|
主要责任者:
|
米尔纳
著
|
|
次要责任者:
|
林惠民
译
|