《通信順序進程》是北京大學出版社出版的,關於通訊的圖書。
基本介紹
- 書名:通信順序進程
- 作者:C.A.R.Hoare
- 譯者:周巢塵
- ISBN:9787301008133
- 頁數:285頁
- 定價:3.95元
- 出版社:北京大學出版社
- 出版時間:1990年1月
- 裝幀:平裝
《通信順序進程》是北京大學出版社出版的,關於通訊的圖書。
在該語言中,一個並發系統由若干並行運行的順序進程組成,每個進程不能對其他進程的變數賦值。進程之間只能通過 一對通信原語實現協作:Q->x表示從進程Q輸入一個值到...
《通信順序進程》是北京大學出版社出版的,關於通訊的圖書。...... 通信順序進程編輯 鎖定 《通信順序進程》是北京大學出版社出版的,關於通訊的圖書。 [1] ...
交談循序程式(英語:Communicating sequential processes,縮寫為CSP),又譯為通信順序進程、交換訊息的循序程式,一種形式語言,用來描述並發性系統間進行互動的模式。最早...
本書延續了《七周七語言》的寫作風格,通過以下七個精選的模型幫助讀者了解並發領域的輪廓:執行緒與鎖,函式式編程,Clojure,actor,通信順序進程,數據級並行,Lambda架構...
通信順序進程CSP,已推廣為混合順序進程。在這個程式語言中,有一種特殊的語句稱為連續構件,它可表示一個具體給定初值的微分方程;而原有的通信語句可用來表達事件的...
內容涵蓋了SE2004中關於"軟體的形式化方法"的知識點,主要包括:有限狀態機、Statecharts、Petri網、通信順序進程、通信系統演算、一階邏輯、程式正確性證明、時態邏輯...
Go的並行模型是以東尼·霍爾的通信順序進程(CSP)為基礎,採取類似模型的其他語言包括Occam和Limbo,但它也具有Pi運算的特徵,比如通道傳輸。在1.8版本中開放外掛程式(Plugin...
CCS與霍爾(C.A.R.Hoare,1980年圖靈獎獲得者)所創建的“通信順序進程"CSP(CommunicatingSequentialProcess)是最典型的兩個描述性並發模型,即進程代數模型,都以進程...
通信順序進程 並發計算並發性程式語言 編輯 並發性程式語言使用程式語言結構特性進行並發。這些結構涉及到多執行緒,分散式計算,訊息傳遞,資源共享(包括記憶體共享)。有時候...
書中對軟體開發中的形式化工程方法進行了介紹和討論,內容涵蓋SE 2004中關於“軟體的形式化方法”的知識點,主要包括:有限狀態機、Statechart、Petri網、通信順序進程...