内容简介

《交互式马尔可夫链:并发系统的设计、验证与评价》主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。通过正交结合经典的进程代数和连续时间马尔可夫链模型，交互式马尔可夫链(IMC)提供了完美的可组合化的并发系统设计和分析框架。《交互式马尔可夫链:并发系统的设计、验证与评价》可以供研究生、教师和科研人员作为了解并发系统理论研究及与数学机械化基本思想与方法相结合的形式在设计与分析技术最新成果的参考书。

图书目录

第一章 绪论

1.1研究背景

1.1.1 并发系统的功能分析

1.1.2 并发系统的性能分析

1.1.3 并发系统的层次化没计分析

1.2 研究内容

1.2.1 等价关系

1.2.2 模型检验

1.2.3 动作细化

1.2.4 相关工作

1.3 本书组织

第二章 预备知识

2.1 概率、随机变量与分布函数

2.1.1 测度空间与概率空间

2.1.2 随机变量及其分布函数

2.2 随机过程