传值进程

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向传值进程的谓词μ-演算与FO(HML)的完备推演系统
《计算机学报》2002年第6期561-569,共9页薛锐 林惠民 
国家自然科学基金 (6983 3 0 2 0 );山西省归国留学生基金;中国科学院软件研究所开放实验室青年科学基金资助
作者提出一个谓词μ-演算系统 ,目的在于描述传值进程的性质 .该系统的公式和谓词相互递归定义 ,谓词中含有抽象式、谓词变元以及最大和最小不动点 .其语义模型是带赋值的符号迁移图所诱导的迁移系统 .并且该系统包含 Hennessy- Milner...
关键词：传值进程 谓词μ-演算 FO 完备推演系统 计算机 
STGA的变种及其互模拟验证
《计算机学报》2000年第4期345-355,共11页李舟军 陈火旺 钟广军 王兵山 
国家"八六三"高技术研究发展计划项目!(863-306-ZT05-06-1);国家自然科学基金!(69873045)
为刻画和验证无穷值域上的传值进程，Ｈｅｎｎｅｓｓｙ和Ｌｉｎ先后提出符号迁移图（ＳＴＧ）和带赋值符号迁移图（ＳＴＧＡ）作为传值进程的语义表示模型，并给出了相应的强互模拟算法．为将该方法推广至实际应用中更常用的弱互模拟等...
关键词：传值进程 符号迁移图 互模拟 算法 STGA 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部