通信演算系統

通信演算系統(communication calculus sys - tem)簡稱CCS一類邏輯模型.由美國科學家米爾納(Milner, R.)於198。年提出的一種函式式語言.它的基本成分是項，或稱動程，含自由變數的動程稱動程表達式.動程的組合仍是動程，其組合深度可以是任意的.CCS也有一對通信原語，它由兩組標號組成.其中一組是名字的集合，常表示為△一 {a,月，y, ... };另一組是加上橫線的名字集合，常表示為}={a,萬,Y,...},△稱為輸人港口集，壓稱為輸出港口集，它們是互補的.動程間通信時並不指定對方動程的名字，只指定對方港口的名字，只有相同名字的輸人和輸出(不考慮上橫線)之間才可以通信. 相對說來，CCS的複合操作比較少，只有一個並行操作，相當於CSP的並發操作以及一個選擇操作，相當於CSP的或進程運算，但這並不意味CCS的描述能力不如CSP強.