传值进程

作品数：7被引量：4H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：林惠民刘剑薛锐许文方海更多>>
相关机构：中国科学院软件研究所国防科学技术大学中国科学院大学中国科学院更多>>
相关期刊：《计算机学报》《计算机研究与发展》《软件学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
传值进程模型检测中诊断信息的生成被引量：3
《软件学报》2003年第1期1-8,共8页刘剑 林惠民 
(国家自然科学基金)No.69833020 ~
诊断信息自动生成是模型检测方法的基本特征之一,对分析和排错具有重要的意义.讨论了传值进程模型检测中诊断信息的生成问题.引入了两种诊断信息的表示结构:证明图和示例;提出了两种诊断信息构造算法.所采用的方法是从检测过程保存的依...
关键词：传值进程 模型检测 诊断信息 进程代数 证明图 示例 算法 计算机 
嵌套谓词等式系与弱互模拟
《软件学报》1999年第11期1121-1126,共6页林惠民 
国家自然科学基金;中国科学院"九五"基础研究重点项目
带赋值符号迁移图是一般传值进程的语义模型，其强互模拟等价可以归结为谓词等式系的最大解．该文将这一结果推广到弱互模拟等价，为此，引入嵌套谓调等式系的概念，并提出算法，将带赋值符号迁移图的弱互模拟等价归结为形如E2μE1的嵌...
关键词：传值进程 互模拟 谓词等式系 符号迁移图 算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部