书籍简介:

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

书籍规格:

书籍详细信息
书名	概率进程语义站内查询相似图书
	9787313138217 如需购买下载《概率进程语义》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	上海	出版单位	上海交通大学出版社
版次	1版	印次	1
定价(元)	80.0	语种	英文
尺寸	26 × 19	装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

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