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

作者：安靖; 王亚弟; 韩继红sequential数据独立进程映射

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社