期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
面向传值进程的谓词μ-演算与FO(HML)的完备推演系统
1
作者
薛锐
林惠民
《计算机学报》
EI
CSCD
北大核心
2002年第6期561-569,共9页
作者提出一个谓词μ-演算系统 ,目的在于描述传值进程的性质 .该系统的公式和谓词相互递归定义 ,谓词中含有抽象式、谓词变元以及最大和最小不动点 .其语义模型是带赋值的符号迁移图所诱导的迁移系统 .并且该系统包含 Hennessy- Milner...
作者提出一个谓词μ-演算系统 ,目的在于描述传值进程的性质 .该系统的公式和谓词相互递归定义 ,谓词中含有抽象式、谓词变元以及最大和最小不动点 .其语义模型是带赋值的符号迁移图所诱导的迁移系统 .并且该系统包含 Hennessy- Milner逻辑的一阶扩充 FO(HML )作为子系统 .作者用例子说明了本演算系统在表达传值进程性质方面的优越性 .该文后半部分主要给出了 FO(HML )的一个推演系统 ,并运用判定树 (Tableau)的方法 。
展开更多
关键词
传值进程
谓词μ-演算
FO
完备推演系统
计算机
在线阅读
下载PDF
职称材料
题名
面向传值进程的谓词μ-演算与FO(HML)的完备推演系统
1
作者
薛锐
林惠民
机构
中国科学院软件研究所计算机科学实验室
出处
《计算机学报》
EI
CSCD
北大核心
2002年第6期561-569,共9页
基金
国家自然科学基金 (6983 3 0 2 0 )
山西省归国留学生基金
中国科学院软件研究所开放实验室青年科学基金资助
文摘
作者提出一个谓词μ-演算系统 ,目的在于描述传值进程的性质 .该系统的公式和谓词相互递归定义 ,谓词中含有抽象式、谓词变元以及最大和最小不动点 .其语义模型是带赋值的符号迁移图所诱导的迁移系统 .并且该系统包含 Hennessy- Milner逻辑的一阶扩充 FO(HML )作为子系统 .作者用例子说明了本演算系统在表达传值进程性质方面的优越性 .该文后半部分主要给出了 FO(HML )的一个推演系统 ,并运用判定树 (Tableau)的方法 。
关键词
传值进程
谓词μ-演算
FO
完备推演系统
计算机
Keywords
value passing processes, μ calculus, model checking, tableau, deductive completeness
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
面向传值进程的谓词μ-演算与FO(HML)的完备推演系统
薛锐
林惠民
《计算机学报》
EI
CSCD
北大核心
2002
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
