0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: 图书分类 > 社科/经管/语言/法律 > 法学 > 进程代数——对称与动作细化

相同语种的商品

销售排行榜

进程代数——对称与动作细化


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
进程代数——对称与动作细化
  • 书号：9787030188656
    作者：王永祥 吴尽昭 蒋建民
  • 外文书名：
  • 装帧：精装
    开本：B5
  • 页数：108
    字数：108000
    语种：中文
  • 出版社：科学出版社
    出版时间：2007-06-02
  • 所属分类：法学
  • 定价： ￥25.00元
    售价： ￥19.75元
  • 图书介质:

  • 购买数量： 件  缺货，请选择其他介质图书！
  • 商品总价：

内容介绍

样章试读

用户评论

全部咨询

　　并发系统常常在结构上展示出对称性，这种对称结构一般来说具有相同或相近的性质。本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。
　　本书可以供高年级大学生、研究生、教师和科研人员作为了解数学机械化基本思想与方法在形式化并发系统设计与分析中应用的参考书。
　　并发系统常常在结构上展示出对称性，这种对称结构一般来说具有相同或相近的性质。本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。
　　本书可以供高年级大学生、研究生、教师和科研人员作为了解数学机械化基本思想与方法在形式化并发系统设计与分析中应用的参考书。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页
用户名： 匿名用户
E-mail：
咨询内容：

目录

  • 第一章 绪论
    1.1 对称
    1.1.1 计算机科学中的对称
    1.1.2 对称与对称约简
    1.2 动作细化
    1.2.1 动作细化的方法
    1.2.2 动作细化的分类
    1.2.3 动作细化的保持
    1.2.4 对称与动作细化
    1.3 相关工作
    1.4 本书贡献
    1.5 本书组织
    第二章 理论基础
    2.1 进程代数
    2.2 事件结构
    2.3 动作细化
    2.4 标记变迁系统
    2.5 模型检验
    第三章 进程代数中的对称性
    3.1 引言
    3.2 进程代数与自同构
    3.2.1 进程代数
    3.2.2 自同构
    3.3 进程代数的对称性
    3.4 行为等价的保持
    3.5 一个约简算法
    3.6 例子
    3.7 小结
    第四章 事件结构模型的对称性
    4.1 引言
    4.2 事件结构中的对称
    4.2.1 置换群
    4.2.2 自同构群
    4.2.3 商事件结构
    4.3 对称与等价
    4.4 动作细化的保持
    4.5 对称约简算法
    4.6 语法和语义层次上对称约简的重合性
    4.7 小结
    第五章 对称与自互模拟
    5.1 引言
    5.2 自互模拟
    5.3 自互模拟与对称的区别
    5.4 自互模拟与对称的联系
    5.5 小结
    第六章 等价在动作细化下的保持
    6.1 引言
    6.2 交织等价
    6.3 步进等价
    6.4 动作细化下等价的保持
    6.4.1 束动作变迁
    6.4.2 交织等价的保持
    6.4.3 步进等价的保持
    6.5 小结
    第七章 基于束动作的偏序约简
    7.1 引言
    7.2 传统的偏序约简
    7.2.1 Kripke结构
    7.2.2 动作独立
    7.2.3 扫描迹等价(stuttering equivalence)
    7.2.4 偏序约简
    7.3 动作与束动作
    7.4 束动作的基本思想
    7.5 束动作路径扫描迹等价
    7.6 束动作偏序约简
    7.7 束动作偏序约简的实现
    7.8 小结
    参考文献
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

中国科技出版传媒股份有限公司　版权所有

本平台为互联网非涉密平台，严禁处理、传输国家秘密。

　

京ICP备14028887号-5　 京ICP证150976号 京公网安备 11010102004214号

北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com