本书针对进程代数语言提出了对称性的概念，并给出了对称约简算法，同时证明了约简后的进程与原进程是交织迹和交织互模拟等价的，最后提供了两个有意义的实例来说明对称性的定义以及验证约简算法的正确性。
具体描述
读后感
评分
评分
评分
评分
评分
用户评价
评分
评分
评分
评分
评分
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有