大拱桥--暨南大学学生门户 » 图书馆 » 算法理论 » 进程代数 : 对称与动作细化
名称 进程代数 : 对称与动作细化
索引号 TP301.6/20078
分类号 TP301.6
TP301.6(算法理论)
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 王永祥、吴尽昭、蒋建民、
出版社 北京 : 科学出版社, 2007
ISBN 978-7-03-018865-6
页数 88页 : 图 ; 25cm
价格 精装
标签 形式化方法、验证、cs、formal_methods、精化、自然科学、进程代数、
简介
注解 有书目 (第83-88页)
书籍简介

本书针对进程代数语言提出了对称性的概念，并给出了对称约简算法，同时证明了约简后的进程与原进程是交织迹和交织互模拟等价的，最后提供了两个有意义的实例来说明对称性的定义以及验证约简算法的正确性。