Andrews，Gregory R。 并发编程：原理和实践。 （英语） Zbl 0797.68002号 阿姆斯特丹等：Addison-Wesley Publishing Company。十七、 637页（1991年）。 这本书是并发编程综合课程的大学课本。它的“最终目标”是让读者“了解如何构建正确的并发程序”（第7页）。首先简要介绍应用于顺序编程的编程逻辑（第1章）。然后，它引入了并发和同步的概念，并扩展了编程逻辑以包括并发执行、干扰和无干扰（第2章）。第一章和第二章构成了本书的导言，即第一部分。第2部分（第3-6章）专门讨论使用共享内存（变量）的并发编程。它提供了各种同步和并发编程抽象机制，包括关键部分、信号量、条件关键区域和监控器。第3部分（第7-9章）涉及基于通信的并发编程，即无共享内存的消息传递。它提出了异步消息传递（分布式编程）、同步消息传递（心跳算法、广播算法等）、远程过程调用和集合的概念。第4部分（第10章）概述了五种并发编程语言：Turing Plus、Occam、Ada、SR、Linda，每种语言都有一个程序示例，展示了该语言的优势。第2-9章都有类似的系统结构。它们从用于相应类型并发编程的编程符号开始。然后，他们给出了它的形式语义和证明，然后是一些例子——用给定的符号提出和解决的问题。每一章还包括一节关于相关概念的可能实现、历史注释和参考以及各种练习。这本书在世界各地的许多大学都很受欢迎，因为：（a）它是并发编程课程的一本好教材，（b）它可以伴随着SR的免费实现，SR是上述语言之一，这包括本文中描述和解释的大多数并发编程工具。审核人：J.Olszewski（肯辛顿） 引用于27文件 MSC公司： 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 68甲15 编程语言理论 60年第68季度 规范和验证（程序逻辑、模型检查等） 68M10个 计算机系统中的网络设计和通信 03B70号 计算机科学中的逻辑 关键词：并行程序设计;并行编程;程序设计逻辑;同步;信号灯;通信;消息传递;远程过程调用;图灵Plus;奥卡姆;艾达;SR公司;琳达 PDF格式BibTeX公司 XML格式引用 \textit{G.R.Andrews}，并发编程：原理和实践。阿姆斯特丹等：Addison-Wesley出版公司（1991；Zbl 0797.68002）