相關詞條
-
csp[通信順序進程]
Communication Sequential Process (簡稱CSP)是著名計算機科學家C.A.R.Hoare為解決並發現象而提出的代數理論,...
簡介 例子 -
通信與移動系統
在π演算中 ,對電腦程式中數據的移動與網際網路上的訊息(甚至是電腦程式)的傳送的處理是完全相同的。 《通信與移動系統》是關於π演算的第一本教科書,它的...
內容簡介 圖書目錄 -
交談循序進程
sequential processes,縮寫為CSP),又譯為 通信順序進程、 交換訊息...東尼·霍爾在1978年發表的論文。通信順序進程高度影響了Occam的設計,也影響了如Limbo與Go等程式語言。歷史通信順序進程最早出現於東尼...
簡介 歷史 並發性 形式語言 Occam -
進程代數
使用的最為廣泛的等價關係有互模擬、測試等價、 失敗等價(參見通信順序進程... 簡介英文:Process Algebra 這些代數理論都使用通信,而不是共享存儲,作為進程之間相互作用的基本手段,表現出面向分散式...
簡介 中國的研究者 -
軟體開發的形式化方法
、Statecharts、Petri網、通信順序進程、通信系統演算、一階邏輯、程式...代數 4.1 通信順序進程 4.2 通信系統演算 習題...
圖書信息 內容簡介 目錄 -
混合計算模型
。通信順序進程CSP,已推廣為混合順序進程。在這個程式語言中,有一種特殊的語句稱為連續構件,它可表示一個具體給定初值的微分方程;而原有的通信語句...構件和通信間的耦合關係。混合自動機自動機是一類數學模型,用以模擬離散...
類型 計算理論 數學模型 -
偉大的計算原理
設計。Denning和Martell將計算的基本原理分為六大類:通信...通信系統 30信息的測量 34信息的轉換 38互動系統...的模型 123協作的順序進程 124功能系統 124事件驅動...
基本信息 內容簡介 -
趙保華[中國科學技術大學計算機系教授]
,Vol.34,No.2,2004。[8]通信順序進程的擴充及其在協定形式化技術中...研究中心副主任,中國通信學會通信軟體技術委員會副主任委員,中國計算機學會...)Program Committee Member,全國通信軟體第一屆(2003...
個人簡歷 主要研究方向 正在進行的科研項目 完成的主要科研項目 2002年以來發表的論文 -
並發計算
- 某些計算問題或問題的領域,特別適合以並發計算來解決。並發互動與通信並發計算中,不同計算單元之間,需要進行通信以保持同步。這些通信方式,在某些並發...進行通信,可分成兩種主要方式:• 共享存儲器通信經由改變共享存儲器地址內...
概論 技術優點 並發互動與通信 並發計算模型 並發性程式語言