×

传达顺序过程。 (英语) Zbl 0637.68007号

Prentice-Hall国际计算机科学系列。新泽西州Englewood Cliffs等:Prentice-Hall International。256页;$57.95; £31.95 (1985).
这本书提供了一个非常一般意义上的计算理论处理。这种治疗是基于数学而不是任何实际的计算硬件。另一方面,选择数学术语来表示机器、语言或程序(简称过程)的行为是如此充分,以至于人们可以根据自己的意愿尽可能接近实际的计算设备。
过程的数学精确处理基于一个相当简单的概念,即设备对设备环境中发生的事件作出响应。设备可能是基本的,只对少数可能的事件作出响应,也可能是许多不同设备的复杂组合,对各种事件作出响应。响应也可能成为其他设备的事件,因此可以考虑设备之间的通信。
如果设备总是以相同的方式响应事件,则它是确定性的。如果存在一组可能的响应,则它是不确定的。如果有多个设备响应相同的事件,那么我们有一个并行的设备组合。这本书介绍了许多可能的组合,每个组合都被定义为一个具有精确含义的操作符,以及一组控制其应用的定律。除了非确定性选择、fork、join等过程的常见组合外,本书还对尚未从理论上处理的组合给出了数学定义,如一个过程中断另一个过程,一个过程在灾难后替换另一个进程,等等。
设备的行为(实际的或预期的)可以通过其轨迹来描述,即设备所参与的一系列事件。轨迹也是数学实体,如果只遵守相关的定律,它可能会经历变换、约简、替换和其他常见的数学操作。跟踪的数学对于确定过程结构的特定设计是否会按预期运行,或者是否包含可能导致无限循环、死锁和其他灾难的错误至关重要。一方面,作者展示了如何将数学应用于编程,另一方面,他发展了一个新的数学分支——通信顺序过程的数学。
除了理论之外,这本书还有它的实践方面。每个提出的流程结构概念都通过一个类似Lisp的实现进行了说明,该实现实际上可以在真实的计算机上进行测试,这可能有助于理解形式化定义。

MSC公司:

68-02 与计算机科学有关的研究展览会(专著、调查文章)
第68季度第65季度 抽象数据类型;代数规范
68号01 软件理论的一般主题
第68季度第45季度 形式语言和自动机