（美）Hassan Gomaa著；吕庆中等译2004 年出版637 页ISBN：7810774204
本书针对日益普及的实时、并发、分布式应用系统的需求介绍了并发对象建模与体系结构设计的方法COMET。COMET利用UML表示法提供实时并发分布系统开发整个过程的系统化步骤。...
（西）哈维尔·费尔南德斯·冈萨雷斯著2018 年出版330 页ISBN：9787115491664
本书主要内容包括：并发设计原理，执行器框架的基本原理和高级特性，如何在执行器中处理采用Callable接口与Future接口返回结果的任务，如何使用Phaser类来并发执行那些可化分为多个阶段的任务，Fork/Join框架及其工...
Python编程实战 运用设计模式、并发和程序库创建高质量程序
（美）MarkSummerfield著2014 年出版252 页ISBN：9787111473947
本书主要关注了四个方面，即：优雅编码设计模式、通过并发和编译后的Python(Cython)使处理速度更快、高层联网和图像。书中展示了在Python中已经过验证有用的设计模式，用专家级的代码阐释了这些设计模式，并解释了...
葛一鸣著2018 年出版402 页ISBN：9787121350030
本书主要介绍基于Java的并行程序设计基础、思路、方法和实战。首先，立足于并发程序基础，详细介绍Java中进行并行程序设计的基本方法。其次，进一步详细介绍了JDK中对并行程序的强大支持，帮助读者可以快速、稳健...
吴尽昭，王永祥，覃广平著2007 年出版109 页ISBN：7030188667
本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用。主要包括三个方面的内容：1. IMC上的分支时间等价和前序关系；2. 基于IMC的模型检验；3. IMC上的动作细化理论。...
