节点文献

基于进程代数EACSR-VP的通信模型的实现

IMPLEMENTATION OF COMMUNICATION BASED ON PROCESS ALGEBRA EACSR-VP

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 张冠华； 张连华； 白英彩；

【Author】 Zhang Guanhua Zhang Lianhua Bai Yingcai(Department of Computer Science,Shanghai Jiaotong University,Shanghai 200030,China)

【机构】 上海交通大学计算机科学与工程系； 上海交通大学计算机科学与工程系 上海200030； 上海200030； 上海200030；

【摘要】 介绍了进程代数EACSR-VP的基本通信原语,详细阐述了并发系统中通信模型的建立与实现,并给出了分析与讨论。

【Abstract】 This paper introduces basic communication primitives of process algebra EACSR-VP.Based on them,construction and implementation of communication model of concurrent system are introduced in detail.Finally,analysis and discuss is given.

【关键词】 进程代数； 形式化方法； 并发系统； 通信；
【Key words】 Process algebra Formal method Concurrent system Communication；
  • 【文献出处】 计算机应用与软件 ,Computer Applications and Software , 编辑部邮箱 ,2005年09期
  • 【分类号】TP393.01
  • 【下载频次】56
打印本页
节点文献中：