书籍简介:

本书内容为传值CCS和π-演算是对CCS的继承和发展，其传值和传名的特性更适合于对并发通信系统进行直接的建模。传值CCS和π-演算互模拟等价的验证理论和算法是进程代数领域的研究热点，也是使进程代数从理论研究走向实际应用的关键环节。本文以Hennessy和Lin所提出的符号化方法为工具，对传值CCS和π-演算互模拟等价的语义理论、公理化系统和验证算法进行了系统、深入的研究。

书籍规格:

书籍详细信息
书名	传值CCS和π-演算互模拟等价站内查询相似图书
丛书名	国防科学技术大学全国优秀博士学位论文
	7810991523 如需购买下载《传值CCS和π-演算互模拟等价》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	长沙	出版单位	国防科技大学出版社
版次	1版	印次	1
定价(元)		语种	简体中文
尺寸	26	装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

传值CCS和π-演算互模拟等价是国防科技大学出版社于2005.出版的中图分类号为 TP301.6 的主题关于电子计算机－算法理论的书籍。