內容簡介
通信與移動系統《通信與移動系統》由圖靈獎獲得者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 多目π-演算
9.5 遞歸定義
9.6 抽象
9.7 小結
第10章 π-演算的套用
10.1 簡單的系統
10.2 唯一使用
10.3 再論數據
10.4 表編程
10.5 持久的和可變的數據
第11章 類.對象和函式
11.1 通道類型的層次結構
11.2 類和賦類
11.3 拓展類語言
11.4 面向對象程式設計
11.5 進程和抽象作為訊息
11.6 函式式計算作為名字傳遞
第12章 承諾與強互模擬
12.1 抽象與凝結
12.2 承諾的規則
12.3 強互模擬,強等價
12.4 同餘
12.5 複製的基本同餘性質
12.6 資源的複製
12.7 小結
第13章 觀察等價及例子
13.1 試驗
13.2 弱互模擬與同餘關係
13.3 方程解的唯一性
13.4 表編程
13.5 命令式程式設計
13.6 可伸縮的緩衝區
13.7 久演算中的歸約
第14章 討論及相關的工作
參考文獻
……
