概率进程的语义

书籍简介:

随着计算机网络和通信技术的发展，对并发分布式系统的研究变得越来越重要。作为一种描述并发计算的模型，进程演算受到广泛研究并被成功应用到实际系统的规范、设计、分析及验证中。近些年来，人们提出概率进程演算用来描述和分析并发系统的量化行为，这要求对概率进程的语义基础进行深入研究。在本书中我们以操作语义的方式把进程行为表示成概率标号迁移系统。不同迁移系统通过一些适当的行为等价或前序关系进行比较。

书籍规格:

书籍信息归属:

概率进程的语义是上海交通大学出版社于2014.出版的中图分类号为 O211.1 的主题关于 概率－计算模型－英文 的书籍。