概率进程的语义

概率进程的语义

邓玉欣, 著

出版社:上海交通大学出版社

年代:2014

定价:80.0

书籍简介:

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

书籍规格:

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

书籍信息归属:

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