C.A.R.霍尔。 传达顺序过程。代表。 （英语） Zbl 0841.68042号 普伦蒂斯·霍尔计算机科学国际系列。纽约州纽约市：普伦蒂斯·霍尔。viii，第256页（1995年）。 这本书概述了通信顺序过程，这是并发计算的正式理论。首先，通过给出图形说明、代数法则和函数编程语言的实现，介绍了过程的基本概念，即系统与其环境之间交互的数学抽象。然后，作者展示了如何将流程的行为记录为其所参与的动作序列的痕迹。提供的规则有助于实施可以证明符合其规范的过程。第二章描述了如何将流程组装成系统，在系统中，组件相互作用，并与其外部环境进行交互。并发的引入本身并没有引入任何不确定性因素。本章的主要例子讨论了五位用餐哲学家的问题。此外，通过更改流程所涉及的事件的名称，流程可以方便地适应新的目的。本章最后解释了确定性过程的数学理论，包括递归领域理论的简单说明。第三章考虑了非确定性，这是一种从系统的具体行为中实现抽象的技术。给出了非确定性过程概念的完整形式化定义。第4章介绍了通信，这是两个进程之间同步交互的特例。一些简单的脉动（或迭代）数组算法的设计说明了如何使用并发系统来实现更高的计算速度。第5章展示了如何将顺序编程的传统操作符集成到通信顺序过程的框架中。第6章介绍了如何构建和实现一个系统，在该系统中，可以在更多进程之间共享有限数量的物理资源（如磁盘和行式打印机），这些进程的资源需求随时间而变化。每个资源都表示为一个单独的进程。每次用户进程需要资源时，都会创建一个新的虚拟资源。虚拟资源是一个进程，其行为就像它从属于用户进程一样；但它还可以在需要时与实际资源进行通信。此类通信与其他并发活动虚拟进程的通信交错进行。本章通过一系列完整但非常简单的操作系统的模块化开发来说明。最后，第7章描述了并发和通信的一些替代方法，并解释了导致通信顺序过程理论的技术、历史和个人动机。审核人：U.Hahn（弗赖堡i.Br.） 引用于1审查引用于35文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 68-01 与计算机科学有关的介绍性阐述（教科书、辅导论文等） 68问题65 抽象数据类型；代数规范 关键词：通信顺序过程;并行计算;并发;顺序程序设计 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}，通信顺序过程。纽约州纽约市代表：普伦蒂斯·霍尔（1995；Zbl 0841.68042）