ISCAS OpenIR  > 基础软件与系统重点实验室
面向传值进程的谓词μ-演算与FO(HML)的完备推演系统
其他题名A Predicate μ-Calculus for Value-Passing Processes and A Complete Deductive System for FO(HML)
薛锐; 林惠民
2002
发表期刊计算机学报
卷号25期号:6
收录类别wanfang
关键词传值进程 Μ-演算 模型检测 Tableau 推演完备
部门归属计算机科学国家重点实验室
资助者National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/4480
专题基础软件与系统重点实验室
推荐引用方式
GB/T 7714
薛锐,林惠民. 面向传值进程的谓词μ-演算与FO(HML)的完备推演系统[J]. 计算机学报,2002,25(6).
APA 薛锐,&林惠民.(2002).面向传值进程的谓词μ-演算与FO(HML)的完备推演系统.计算机学报,25(6).
MLA 薛锐,et al."面向传值进程的谓词μ-演算与FO(HML)的完备推演系统".计算机学报 25.6(2002).
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
16.pdf(441KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[薛锐]的文章
[林惠民]的文章
百度学术
百度学术中相似的文章
[薛锐]的文章
[林惠民]的文章
必应学术
必应学术中相似的文章
[薛锐]的文章
[林惠民]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。