|
|||||
|
|
| CCS及其在协议工程中的应用 | |
| 引用本文： | 龚正虎.CCS及其在协议工程中的应用[J].计算机工程与科学,1994,16(3):51-56. |
| 作者姓名： | 龚正虎 |
| 作者单位： | 国防科技大学计算机研究所 |
| 摘 要： | 本文讨论的两个案例表明，通讯系统演算ＣＣＳ（ａＣａｌｃｕｌｕｓｆｏｒＣｏｍｍｕｎｉｃａｔｉｎｇＳｙｓｔｅｍｓ）在协议描述、协议验证等方面有很大应用潜力。 |
| 关 键 词： | CCS 协议工程 计算机网络 分布式系统 |
CCS and Its Application in Protocol Engineering |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与科学》下载全文 | |