站点首页 最近更新 图书分类 下载推荐 下载排行 技术论坛  
书库下载
设为首页
联系我们
加入收藏
高级搜索
 
  您的位置:首页 > 下载分类 > 科技期刊 > 计算机类 > 软件使用 >
  栏目导航
  本类下载排行
面向传值进程的谓词μ―演算与FO(HML)的完备推演系统
下载级别: 游客
文件类型: pdf
图书格式: PDF
图书大小: 340KB
图书等级:
图书登陆: admin
整理时间: 2008-09-01
图书简介:

[作 者] 薛锐 林惠民

[机 构] 中国科学院软件研究计算机科学实验室,北京100083

[刊 名] 计算机学报-2002.25(6).-561-569

[文 摘] 作者提出一个谓词μ-演算系统,目的在于描述传值进程的性质,该系统的公式和谓词相互递归定义,谓词中含有抽象式,谓词变元以及最大和最小不动点,其语义模型是带赋值的符号迁移图所诱导的迁移系统,并且该系统包含Hennessy-Milner逻辑的一阶扩弃FO(HML)作为子系统,作者用例说明了本演算系统在表达传值进程性质方面的优越性,该文后半部分主要给出了FO(HML)的一个推演系统,并运用判定树(Tableau)的方法,证明了所给出了推演系统是完备的。
下载地址: 本地下载
下载帮助:

相关图书:
.高校《计算机文化基础》课程教学改革探讨  (2008-09-01)
.防空C^3I系统中计算机病毒防御研究  (2008-09-01)
.银行计算机系统安全分析与对策  (2008-09-01)
.邮政储蓄计算机系统数据大集中的探讨  (2008-09-01)
.谈混沌理论对计算机领域的影响  (2008-09-01)
.论计算机病毒的防治  (2008-09-01)
.计算机项目系统分析要素初探  (2008-09-01)
.计算机防雷的必要性日趋显现  (2008-09-01)
.计算机联锁设备防雷技术综述  (2008-09-01)
.计算机网络病毒及防范措施  (2008-09-01)
 


RAR压缩文件请使用WinRAR3.4以上进行解压;[点击下载]
ISO格式光盘镜像文件请用虚拟光驱软件Alcohol120%打开;[点击下载]
PDF格式文件请使用Adobe Acrobat Reader打开阅读;[点击下载]
PDG格式文件请用BooXViewer阅读器打开;[点击下载]
WDL格式文件请用WDL文件阅读器打开;[点击下载]
如不能正常播放本站的视频文件,请安装最新暴风影音播放器。[点击下载]

☉更多、更好的资源,请访问

☉本站所有资源均是网上搜集或私下交流学习之用,任何涉及版权问题,请来信告知,我们会及时进行删
 除。本站仅仅提供一个观摩学习的环境,所有软件图书均为介绍。所有资源请在下载后24小时内删除。
 如果您觉得满意,请与相关出版社或作者联系,购买正版!本站严厉谴责和鄙夷一切利用本站资源进行
 牟利的盗版行为!

 

  最新增加
关于本站 | 广告服务 | 联系站长 | 版权声明 | 网站地图 | 留言板 | 发布图书
© 2008 bookku.net Corporation. All rights reserved. Powered BY: Edown Version 2.1
如有任何疑问,请联系本站QQ:24620962