云南高校图书馆联盟文献共享服务平台- 传值进程

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

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

面向传值进程的一阶模态逻辑的可判定性与模型检测: 《中国科学（E辑）》2003年第2期97-110,共14页薛锐林惠民; 国家自然科学基金(批准号:69833020);国家高技术研究发展计划(863计划;2002AA144050);国家"九七三"重点研究发展规划(G1999035802);山西师范大学山西省归国留学生基金资助项目; 对于面向传值进程的Hennessy—Milner逻辑的一阶扩充HML(FO),给出了基于带赋值的符号迁移图的语义解释.证明了HML(FO)的子逻辑HML(FO2)是满足性可判定的,并且讨论了判定的复杂性.最后给出传值进程关于HML(FO2)的模型检测的可判定性结果.; 关键词：一阶模态逻辑可判定性模型检测传值进程 Hennessy-Milner逻辑符号迁移图