通信與移動系統：π演算

《通信與移動系統：π演算》是林惠民所著圖書。

基本介紹

• 中文名：通信與移動系統：π演算
• 作者：林惠民 
• 出版社：清華大學出版社
• ISBN：9787302207252 

內容簡介

本書是關於演算的第一本專著.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