滿額折
通信與移動系統：π演算（簡體書）
商品資訊
ISBN13：9787302207252
出版社：清華大學出版社(大陸)
作者：(英)米勒
出版日：2009/10/01
裝訂／頁數：平裝／160頁
規格：19cm*13cm (高/寬)
商品簡介
目次
相關商品
商品簡介
本書由圖靈獎獲得者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 多目π-演算
……
參考文獻
序言
第一部分 通信系統
第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 多目π-演算
……
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。