A.W.罗斯科。 了解并发系统。 (英语) Zbl 1211.68205号 计算机科学课文伦敦:施普林格出版社(ISBN 978-1-84882-257-3/hbk;978-1-848 82-258-0/电子书)。十八、527页。(2010). 的工作C.A.R.霍尔通信顺序过程(CSP)[Commun.ACM 21,666–667(1978;Zbl 0383.68028号); 传达顺序过程。Prentice-Hall国际计算机科学系列。新泽西州恩格尔伍德克利夫斯等:普伦蒂斯·霍尔国际(1985;Zbl 0637.68007号)]被视为并发理论的核心。这本正在审查的书的目的是成为CSP的全面介绍和参考卷。它也应该是任何想要使用CSP或对其理论有所了解的人的第一参考点。它还介绍了有关并发性的其他视图,使用CSP对其进行建模和解释。本书在很大程度上集成并使用了基于CSP的工具,尤其是FDR。FDR是CSP中描述的系统自动分析的最重要和最有用的工具。本书分为四个部分:CSP简介-理论-使用CSP-探索并发。第一部分是为计算机科学本科生和研究生设计的。在牛津大学,它用于二年级本科生课程,以及全日制和非全日制理学硕士学生。第二部分是为熟悉第一部分并具有相当理论兴趣的人设计的。这些人可以是正在学习基于此材料的高级课程的学生,也可以是对最新技术感兴趣的研究人员。第三部分面向那些已经在实践中使用CSP和FDR方面有一定经验,并且希望能够更好地使用它们的人,或者对计时系统特别感兴趣的人。第四部分是为已经了解CSP的人设计的。他们可能想从CSP的角度理解并发系统的其他模型。本书的大部分内容都不依赖于任何理论背景,只依赖于集合和序列的基本知识。有关本书的更多信息,请访问网站网址:http://www.comlab.ox.ac.uk/ucs.审核人:Günther Bauer(Görlitz) 引用于三评论引用于58文件 MSC公司: 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 68-02 与计算机科学有关的研究展览会(专著、调查文章) 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 68问题55 计算理论中的语义学 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:软件;编程技术;并行编程;通信顺序过程;财务总监;并发系统模型 引文:Zbl 0383.68028号;Zbl 0637.68007号 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Roscoe},理解并发系统。伦敦:施普林格出版社(2010;Zbl 1211.68205) 全文: 内政部