×

兹马思-数学第一资源

并发理论导论。过渡系统和CCS。(英语) Zbl 1333.68001
理论计算机科学教材。EATCS系列. 查姆:斯普林格(ISBN 978-3-319-21490-0/hbk;978-3-319-21491-7/电子书)。十一,第334页。(2015年)。
本文详细介绍了并发问题,主要集中在通信系统的微积分(CCS)上[R、 米尔纳,通信系统的微积分。柏林-海德堡-纽约:斯普林格-维拉格(1980;Zbl 0452.68027)]以及对其语义的仔细研究。
这本书分为六章,每章都有自己的摘要。它还包含一个有用的“词汇表”,以及非常详细的书目和索引。
第一章包括对课文主题的简要介绍,教学使用说明和一个快速但详尽的复习记数法,以及逻辑和数学的序言。
第二章介绍了标签转换系统(lts)和本书将使用的绝大多数过程等价,从跟踪等价到同构,经历(bi)相似,考虑完整版本和弱版本。在这里和本书的其余部分,有很多例子和练习,其中大多数是相互关联的(前者通常为后者提供解决方案),处理得非常有用,细节层次非常有用,大部分时间都有充分的证据。
第三章介绍了CCS,在第一个直观的部分举例(说明半计数器,竞争,接口),然后正式。本文从句法和语义表达的角度分别研究了CCS的几个子词汇,并对其进行了比较。在这里,例子也很多,包括:缓冲区、生产者消费者和一些实现中的计数器。超过60个图表(大部分在本章和前一章中)描述了LTS和其他概念,使本书非常可读。
其次,探讨了可判定性问题,证明了有限CCS的图灵完备性和通过减少3寄存器计数器机器证明了弱二相似性的不可判定性[M、 L.明斯基,计算:有限和无限机器。恩格尔伍德悬崖,新泽西州:普伦蒂斯霍尔公司(1967年;Zbl 0195.02402)]到CSS。最后,对价值传递的CCS作了简要的论述。
第四章详细分析了不同的过程算子满足的恒等式(双相似性等),发展为同余的概念,并将这些等价性公理化。和书中其他部分一样,这里的论述是详尽无遗的。
第五章研究了CCS中新算子的解释问题。在序列合成的情况下,在微积分和LTS语义中引入了成功终止状态的概念。通过将CCS运算符添加到组合中,得到有限BPA(“基本过程代数”)、BPA*(带迭代=正则表达式的有限BPA*)、普通BPA、PA(BPA加上没有通信的并行运算符),最后得到PAER(=PA+限制)。
最后一章首先讨论了CCS在解决经典用餐哲学家问题方面的不足,这促使引入强前缀作为实现原子行为的一种方式。由此得到多元微积分[R、 戈里里等等,理论。计算机。科学。72,第2-3、203-223号(1990年;Zbl 0698.68029)]带有不同的步骤语义,其中LTS使用多个操作集进行标记。将其与传统的交织语义(目前采用的)进行比较,可以很好地体现结构的一致性。一些例子(“案例研究”),更多的表达细节(实现CSP\(\|u A\)操作符)和讨论一些文献的结论,使本章更加完整。
我想引用这本书前言的一个片段(作者:Pierpaolo Degano),因为它忠实地总结了它的一些方面:
“因此,这本专著是向本科生和研究生,以及开发或使用并发系统的人介绍并发理论的一本极好的教科书。并发系统的某些方面在这里没有被考虑,那些典型的到更高级的模型,如代理的移动性。在此基础上的课程之后书,然而,一个学生将拥有所有的知识和技巧来面对这个有趣和富有挑战性的话题,以及其他许多问题。”

理学硕士:
68-01年 与计算机科学有关的介绍性说明(教科书、教程论文等)
68问55 计算理论中的语义学
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部