×

兹马思-数学第一资源

通信和并发。(英语) Zbl 0683.68008
普伦蒂斯霍尔计算机科学国际系列。纽约等地:普伦蒂斯·霍尔。十一、 260便士。(1989年)。
这本书阐述了一种交际理论。虽然这本书中提出的理论植根于计算机科学,但它很可能被接受为系统的一般理论,其组件之间相互通信。这本书的理论品格和意义,可以从说它是沟通的数学中体现出来。这本书是同一作者先前一本书的延续和延伸[通讯系统微积分,选注计算机科学92(1980;Zbl 0452.68027)]. 它也类似于先前出版的同一系列的另一本书[C、 A.R.霍尔,通信顺序进程,Pretice Hall Int.Ser。计算机。科学。(1985年;Zbl 0637.68007)]. 然而,它以一种稍微不同的符号来描述交流过程,并对过程进行时发生的现象进行了更深入的理论处理。
作者提出了一种简单的语言(符号),在这种语言中,进程可以被定义并与其他进程相结合。语言语义学有非正式和正式两种解释方式。非正式的解释是作为例子和意见随正式定义。语言的中心思想是过程之间交互的概念。作为相互作用过程的组合而构建的系统可以用数学方法进行操作,以发现它们的等价性、互模拟(过程对之间存在某些不变量)和观测等效性(系统内部发生的事情之间的差异无关紧要)。
过程组合之间的等价性和互模拟是可称为通信代数或微积分的基础。有了这样的数学理论,一个人可以指定,设计和验证系统,可能被证明以适当或期望的方式工作。作者还利用这一理论导出了一种过程并发编程语言,该语言对同一过程的多个并行激活的语义进行了明确而精确的定义。
最后,作者探讨了现有理论与通信系统逻辑规范之间的关系,以及确定通信系统的建立和验证问题。这本书不太容易,尤其是作者一般不提供读者应该解决的许多练习的解决方案。他只答应他们将来可以使用。尽管如此,这本书似乎是迄今为止对通信系统最全面的理论论述。

理学硕士:
68-02年 与计算机科学有关的研究展览会(专著、调查文章)
68问65 抽象数据类型;代数规范
68N25 操作系统理论
68N01号 软件理论概论
68Q45号 形式语言与自动机
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用