本書是關於演算的第一本專著.Milner教授通過大量的例子, 深入淺出地介紹了 演算的基本概念和理論. 穿插在全書各章的討論中,處處閃爍著這位將其畢生精力傾注於計算機科學基礎研究的大師對這門學科及其發展的精闢見解.我們希望中譯本的出版能有助於國內讀者,特別是研究生和年輕科研人員, 學習和掌握演算的基本原理, 並從中受到啟發。
基本介紹
- 書名：通信與移動系統：π演算
- 作者：林惠民
目錄
術語表
序言
第一部分 通信系統
第1章 引論3
第2章 自動機的行為8
2.1 自動機 8
2.2 正規集 10
2.3 自動機的語言11
2.4 確定性和非確定性12
2.5 黑盒或反應系統13
2.6 小結 15
第3章 順序進程和互模擬 17
3.1 標號遷移系統17
3.2 強模擬 18
3.3 強互模擬 19
3.4 順序進程表達式22
3.5 布爾緩衝區23
3.6 調度器 24
3.7 計數器 26
3.8 小結 26
第4章 並發進程與互動28
4.1 標號和流程圖28
4.2 觀察和互動29
4.3 並發進程表達式31
4.4 結構同餘 33
4.5 反應規則 36
4.6 小結 39
第5章 遷移和強等價41
5.1 標號遷移 41
5.2 強互模擬及其套用47
5.3 強等價的代數性質51
5.4 同餘 53
5.5 小結 54
第6章 觀察等價：理論55
6.1 觀察 55
6.2 弱互模擬 56
6.3 方程解的唯一性61
6.4 小結 62
第7章 觀察等價：例子63
7.1 彩票機 63
7.2 加工車間 64
7.3 調度器 67
7.4 緩衝區 71
7.5 棧和計數器73
7.6 討論 76
第二部分 演算
第8章 論移動性79
8.1 有限的移動性81
8.2 行動電話 82
8.3 移動性的其他例子85
8.4 小結 87
第9章演算與互動 88
9.2結構同餘和反應90
9.3移動性92
9.4多目演算94
9.5遞歸定義95
9.6抽象97
9.7小結99
第10章演算的套用100
10.1簡單的系統100
10.2唯一使用102
10.3再論數據105
10.4表編程108
10.5持久的和可變的數據111
第11章類、對象和函式115
11.1通道類型的層次結構115
11.2類和賦類116
11.3拓展類語言118
11.4面向對象程式設計121
11.5進程和抽象作為訊息125
11.6函式式計算作為名字傳遞127
第12章承諾與強互模擬131
12.1抽象與凝結131
12.2承諾的規則134
12.3強互模擬,強等價136
12.4同餘138
12.5複製的基本同餘性質139
12.6資源的複製141
12.7小結143
第13章觀察等價及例子144
13.1試驗144
13.2弱互模擬與同餘關係145
13.3方程解的唯一性146
13.4表編程148
13.5命令式程式設計149
13.6可伸縮的緩衝區150
13.7演算中的歸約153
第14章討論及相關的工作155
參考文獻
159
