概率进程语义（英文版）
图书信息
书名：概率进程语义（英文版）作者：邓玉欣
包装：精装
开本：16
全文字数：506000
出版社：上海交通大学出版社
出版时间：2015-11-01
图书简介
近年来，概率进程演算作为一种描述并发计算的模型，受到广泛研究和应用。本书以操作语义的方式把进程行为表示成概率标号迁移系统，并从数学角度深入研究概率进程的语义基础，包含概率同步、概率自由演算、概率测试等，并通过多种算法和预序关系进行了比较和描述。这本书可作为并发分布式系统研究者和设计者的重要参考书。
推荐理由
本书包含了概率进程演算的重要内容，可作为并发分布式系统研究者、设计者和学术研究机构的重要参考资料。