| 姓名：(英))Robin Milner 林惠民著 作者简介： 作品：《通信与移动系统:π演算》 |
| 术语表 序言 第一部分 通信系统 第1章 引论 第2章 自动机的行为 2.1 自动机 2.2 正规集 2.3 自动机的语言 2.4 确定性和非确定性 2.5 黑盒或反应系统 2.6 小结 第3章 顺序进程和互模拟 3.1 标号迁移系统 3.2 强模拟 3.3 强互模拟 3.4 顺序进程表达式 3.5 布尔缓冲区 3.6 调度器 3.7 计数器 3.8 小结 第4章 并发进程与交互 4.1 标号和流程图 4.2 观察和交互 4.3 并发进程表达式 4.4 结构同余 4.5 反应规则 4.6 小结 第5章 迁移和强等价 5.1 标号迁移 5.2 强互模拟及其应用 5.3 强等价的代数性质 5.4 同余 5.5 小结 第6章 观察等价：理论 6.1 观察 6.2 弱互模拟 6.3 方程解的唯一性 6.4 小结 第7章 观察等价：例子 7.1 彩票机 7.2 加工车间 7.3 调度器 7.4 缓冲区 7.5 栈和计数器 7.6 讨论 第二部分 π-演算 第8章 论移动性 8.1 有限的移动性 8.2 移动电话 8.3 移动性的其他例子 8.4 小结 第9章 π-演算与交互 9.1 名字、动作和进程 9.2 结构同余和反应 9.3 移动性 9.4 多目π-演算 …… 参考文献 更多 |
![MPLS技术与实现[按需印刷]](http://images.china-pub.com/ebook/8455/zcover.jpg)
内容加载中，请稍后...
商品评论（0条）