数据独立技术在CSP协议模型中的设计与实现AET-电子技术应用-最丰富的电子设计资源平台

数据独立技术在CSP协议模型中的设计与实现
所属分类：技术论文
上传者：aet
文档大小：2431 K

所需积分：0分积分不够怎么办？
文档介绍：在研究Roscoe数据独立技术的基础上，引入新的进程扩展CSP协议模型，并以Yahalom协议为例给出了完整的协议模型。随后对扩展的协议模型进行形式化描述。最后使用脚本语言CSPM对其进行编写，完成验证。
现在下载
VIP会员，AET专家下载不扣分；重复下载不扣分，本人上传资源不扣分。

活动