| 注册
首页|期刊导航|计算机应用研究|基于进程代数的构件动态演化行为一致性研究

基于进程代数的构件动态演化行为一致性研究

申利民 马川 王涛

计算机应用研究2009,Vol.26Issue(4):1345-1348,1352,5.
计算机应用研究2009,Vol.26Issue(4):1345-1348,1352,5.

基于进程代数的构件动态演化行为一致性研究

Research on behavioral consistency of component dynamic evolution based on process algebra

申利民 1马川 1王涛1

作者信息

  • 1. 燕山大学,信息科学与工程学院,河北,秦皇岛,066004
  • 折叠

摘要

关键词

构件/动态演化/进程代数/行为一致性/主动请求接口

分类

信息技术与安全科学

引用本文复制引用

申利民,马川,王涛..基于进程代数的构件动态演化行为一致性研究[J].计算机应用研究,2009,26(4):1345-1348,1352,5.

基金项目

河北省自然科学基金资助项目(F2008000861) (F2008000861)

计算机应用研究

OA北大核心CSCDCSTPCD

1001-3695

访问量6
|
下载量0
段落导航相关论文