首页|嵌入式系统|显示技术|模拟IC/电源|元件与制造|其他IC/制程|消费类电子|无线/通信|汽车电子|工业控制|医疗电子|测试测量
首页 > 分享下载 > 嵌入式系统 > 数据独立技术在CSP协议模型中的设计与实现

数据独立技术在CSP协议模型中的设计与实现

资料介绍
在研究Roscoe数据独立技术的基础上,引入新的进程扩展CSP协议模型,并以Yahalom协议为例给出了完整的协议模型.随后对扩展的协议模型进行形式化描述.最后使用脚本语言CSPM对其进行编写,完成验证.

……
标签:CSP数据独立进程映射
数据独立技术在CSP协议模型中的设计与实现
本地下载

评论