本书针对进程代数语言提出了对称性的概念，并给出了对称约简算法，同时证明了约简后的进程与原进程是交织迹和交织互模拟等价的，最后提供了两个有意义的实例来说明对称性的定义以及验证约简算法的正确性。

📙 相关书籍

  1. 《算法之道》高清PDF 本书甄选了那些最能够展现算法思想、战略和精华，并能够有效训练算法思维的内容。本书将算法的讨论分为五大部分：算法基本战略、算法设计战略、算法分析战略、经典算法讨论、难解与无解问题。每一个部分分别讨论算法的一大方面：基础、设计、分析、经典和难解问题。...
  2. 《服务计算应用开发技术》高清PDF 木书从服务计算的基本概念和主要技术问题入手，分别介绍了Web服务的选择与组合方法，提出了一种基于服务质量（QoS）的服务选择方式（根据不同用户对服务质量的属性需求不同，对请求者需要的QoS属性与提供者提供的QoS属性进行比较，来为用户选择最佳的、最匹配的服务）。在讲述服务组合时，引入了动作时序逻辑（......
  3. 《算法引论 一种创造性方法》高清PDF 本书是国际算法大师乌迪·曼博（Udi Manber）博士撰写的一本享有盛誉的著作。全书共分12章，是按照领域进行分类的：第1章到第4章为介绍性内容，涉及数学归纳法、算法分析、数据结构等内容；第5章提出了与归纳证明进行类比的算法设计思想；第6章到第9章分别给出了几个领域的算法，如序列和集合的算法（排序......
  4. 《计算机算法》高清PDF 本书主要讲述，分析了各种算法的基本原理和解题技巧，以五种通用的算法设计技术为主线论述了分治策略，贪心策略、动态规划策略，分支限界法、回溯法等问题，对算法的时间和空间复杂性进行了分析。在内容的选材上注重基本理沦和具体实例的结合，以便于读者理解。本书还对概率……...
  5. 《粒子群算法及应用》高清PDF 由于粒子群算法思想直观、实现简单而且具有很高的执行效率，自从提出以来，一直是国外相关领域的众多学者关注与研究的对象。CEC国际年会上，粒子群算法被作为一个独立的分支，与遗传算法、进化规划等进化算法相提并论。近十年的时间里粒子群算法被广泛的应用于优化计算、神?...
  6. 《面向千万亿次计算的算法与应用》高清PDF 本书是那些在千万亿次计算领域前沿性研究成果的结晶。作者试图通过汇集在高性能计算和计算科学领域最成熟和已积累丰富经验的应用的最新成果，来解决在开发千万亿次系统应用代码中的一些挑战性应用，这些应用能够在新的千万亿次系统产生和部署之前，就提前针对其体系结构的特点来进行开发。开发千万亿次应用需要丰富的关于千......
  7. 《计算机常用算法与程序设计教程》高清PDF 本书遵循“内容实用，难易适当，面向设计，注重能力培养”的要求，讲述了穷举、回溯、分治、递归、递推、贪心算法与动态规划等计算机常用算法，同时简要介绍了模拟、智能优化与并行处理。本书注重常用算法的设计与应用，算法设计与程序实现的结合，以及算法的改进与程序优化，力求理论与实际相结合，算法与程序相统一。　　......
  8. 《大数运算：加密多精度算法的理论与实现》高清PDF ...
  9. 《计算机算法与实践教程》高清PDF 高等学校计算机科学与技术教材:本书系统地阐述了算法设计的方法、技术和应用实例。全书内容包括：算法基础、常用数据结构、基本算法设计技术、贪心法、分治法、回溯法和分枝定界法等。...
  10. 《算法导论 第2版》高清PDF 本书介绍了算法的分析与设计。...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。