北京交通大学学报2011，Vol.35Issue(5)：73-77,88,6.
多项式程序模型的互模拟等价
Bisimulation equivalence for polynomial program model
摘要
Abstract
In allusion to the equivalence for behavior of program, the paper proposes bisimulation equivalence for polynomial program model. Bisimulation equivalence suits for software system design and verification which are described by algebraic program model. The paper defines the notion of bisimulation equivalence for polynomial program model, instaurates a symbolic calculation method for bisimulation equivalence, and selects a simple model to simplify procedure. It can also effectively alleviate the problem of formal verification method caused by state explosion that the computational procedure is too complex to implement. Finally, an example of the concurrent program is shown.关键词
互模拟等价/多项式程序模型/非确定性/并发Key words
bisimulation equivalence/ nondeterminism/polynomial program model/concurrency分类
信息技术与安全科学引用本文复制引用
邓辉,吴尽昭..多项式程序模型的互模拟等价[J].北京交通大学学报,2011,35(5):73-77,88,6.基金项目
国家自然科学基金资助项目(60973147,60873118) （60973147,60873118）
教育部博士点基金项目资助(20090009110006) （20090009110006）
