×

通信系统的建模和分析。 (英语) 兹比尔1353.68006

马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-02771-7/hbk;978-0-262/32102-0/电子书)。十六、376页。(2014年)。
本书从数据类型开始,解释了它们是如何使用公式建立在构造函数、映射和函数上的。序列和非确定性行为用代数的方式描述,使用复合运算符,其属性由公理表征。它显示了如何指定并行和通信组件,再次包括所需的公理。解释了如何在一个非常有表现力的逻辑——模态μ演算中描述行为属性。给出了一些简单系统行为的示例描述。介绍了利用归纳法将一个过程转换为另一个过程的基本技术、递归规格说明原理和展开定理。它描述了如何将过程转换为线性形式,这将在所有后续操作中发挥重要作用。给出了递归规范及其不同的推理方法。融合是一种典型的行为模式,起源于两个过程的并行组合。本文解释了锥和焦点技术,它可以证明某些系统的规范和实现是等效的。验证技术用于验证一些复杂的分布式算法。使用参数化布尔方程验证线性形式过程的模态公式。描述了微公共表示语言的形式语义和相关形式。这提供了语法和代数描述的过程与转换系统之间的映射。使用这种映射,可以建立过程等价性和公理之间的关系。

MSC公司:

68-02 与计算机科学有关的研究展览会(专著、调查文章)
68M10个 计算机系统中的网络设计和通信
68个M12 网络协议
68米14 分布式系统
60年第68季度 规范和验证(程序逻辑、模型检查等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
68宽15 分布式算法

软件:

mCRL2型
PDF格式BibTeX公司 XML格式引用