《通信順序進程》是北京大學出版社出版的,關於通訊的圖書。
基本介紹
- 書名:通信順序進程
- 作者:C.A.R.Hoare
- 譯者:周巢塵
- ISBN:9787301008133
- 頁數:285頁
- 定價:3.95元
- 出版社:北京大學出版社
- 出版時間:1990年1月
- 裝幀:平裝
《通信順序進程》是北京大學出版社出版的,關於通訊的圖書。
在該語言中,一個並發系統由若干並行運行的順序進程組成,每個進程不能對其他進程的變數賦值。進程之間只能通過 一對通信原語實現協作:Q->x表示從進程Q輸入一個值到...
《通信順序進程》是北京大學出版社出版的,關於通訊的圖書。...... 通信順序進程編輯 鎖定 《通信順序進程》是北京大學出版社出版的,關於通訊的圖書。 [1] ...
交談循序程式(英語:Communicating sequential processes,縮寫為CSP),又譯為通信順序進程、交換訊息的循序程式,一種形式語言,用來描述並發性系統間進行互動的模式。最早...
進程通信、協定的使用;第2部分包括第7章第9章,介紹工程問題,包括安全性和...3.4.1 通信順序進程3.4.2 鷓菟愫土榛鈽3.5 Linda3.5.1 JavaSpaces...
本書延續了《七周七語言》的寫作風格,通過以下七個精選的模型幫助讀者了解並發領域的輪廓:執行緒與鎖,函式式編程,Clojure,actor,通信順序進程,數據級並行,Lambda架構...
內容涵蓋了SE2004中關於"軟體的形式化方法"的知識點,主要包括:有限狀態機、Statecharts、Petri網、通信順序進程、通信系統演算、一階邏輯、程式正確性證明、時態邏輯...
CCS與霍爾(C.A.R.Hoare,1980年圖靈獎獲得者)所創建的“通信順序進程"CSP(CommunicatingSequentialProcess)是最典型的兩個描述性並發模型,即進程代數模型,都以進程...
8.2 通信順序進程(CSP) 160 8.3 使用Generator實現CSP 162 8.3.1 Generator 163 8.3.2 Go Block 163 8.3.3 timeout 164 8.3.4 take <! 165 8.3.5 put...
通信順序進程 並發計算並發性程式語言 編輯 並發性程式語言使用程式語言結構特性進行並發。這些結構涉及到多執行緒,分散式計算,訊息傳遞,資源共享(包括記憶體共享)。有時候...