随机进程代数

作品数：18被引量：66H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：余镇危潘耘严博王励成梁辉更多>>
相关机构：扬州大学清华大学哈尔滨工程大学中国矿业大学（北京）更多>>
相关期刊：《兰州理工大学学报》《东北大学学报（自然科学版）》《山东大学学报（理学版）》《电子学报》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=数学的实践与认识x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
网络体系结构建模和性能评价的形式化方法——随机进程代数
《数学的实践与认识》2004年第11期102-107,共6页冯烟利 余镇危 潘耘 刘克俭 
教育部博士点基金 (2 0 0 3 0 2 90 0 0 3 );山东省教育厅科研发展计划 (0 3 P0 9)资助
随机进程代数是从经典进程代数发展起来 ,用于并发系统的定性和定量分析的形式化方法 ,特别适合在计算机网络和通信协议的建模和性能评价 .首先介绍了 SPA的语法和操作语义 .并以令牌环局域网模型为例来说明其应用 .进一步讨论了 SPA的...
关键词：进程代数 形式化方法 操作语义 建模 令牌 局域网 计算机网络 等价关系 随机 状态空间 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部