传值CCS和π-演算互模拟等价

书籍简介:

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

书籍规格:

书籍信息归属:

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