|
题名:
|
传值CCS和π-演算互模拟等价的验证理论和算法 / 李舟军著 , |
|
ISBN:
|
7-81099-152-3 价格： CNY28.00 |
|
语种:
|
chi |
|
载体形态:
|
165页 图 24cm |
|
出版发行:
|
出版地： 长沙 出版社： 国防科技大学出版社 出版日期： 2005 |
|
内容提要:
|
本文以Hennessy和Lin所提出的符号化方法为工具，对传值CCS和L7－演算互模拟等价的语义理论、公理化系统和验证算法进行了系统、深入的研究。 |
|
主题词:
|
电子计算机 算法理论 |
|
中图分类法:
|
TP301.6 版次： 4 |
|
主要责任者:
|
李舟军 著 |