书籍 进程代数  对称与动作细化的封面

进程代数 对称与动作细化

王永祥 吴心昭 蒋建民著

出版社

北京:科学出版社

出版时间

2007

ISBN

7030188659

标注页数

88 页

PDF页数

106 页

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