複製鏈接
請複製以下鏈接發送給好友

通信系統演算

鎖定
通信系統演算(calculus of communicating systems,CCS)是2018年公佈的計算機科學技術名詞。
中文名
通信系統演算
外文名
calculus of communicating systems,CCS
所屬學科
計算機科學技術
公佈時間
2018年

目錄

通信系統演算定義

由羅賓·米爾納(Robin Milner)創建的一種進程代數,用於描述通信併發系統的代數理論。 [1] 

通信系統演算出處

《計算機科學技術名詞》第三版。
參考資料