大庆师范学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

进程代数:对称与动作细化/王永祥，吴尽昭，蒋建民著

出版发行项:

北京:科学出版社,2007

ISBN及定价:

978-7-03-018865-6 精装/CNY25.00

载体形态项:

13,88页;25cm

其它题名:

对称与动作细化

丛编项:

数学机械化丛书;10

个人责任者:

蒋建民 著

个人责任者:

王永祥 著

个人责任者:

吴尽昭 著

学科主题:

电子计算机-算法理论

中图法分类号:

TP301.6

一般附注:

《数学机械化丛书》获国家基础研究发展规划项目 “数学机械化方法及其在信息技术中的应用”与“数学机械化应用推广专项经费”资助

提要文摘附注:

本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。

豆瓣简介：