摘要
本文在文献[1,2]的框架下给出了弱不变量的定义,讨论了其性质及与不变量之间的关系。此外,本文还引入了迁移系统的限制乘积概念,并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
On the basis of references[1,2], the paper gives the definition of weak invariant, and discusses its characteristics and the relations between invariant and weak invarlant. Besides, we introduce the concept of restrict product of transition systems, and take this as a means to study the mutual transition between weak bisimulation and weak invariants.
出处
《计算机工程与科学》
CSCD
2007年第11期134-136,共3页
Computer Engineering & Science
基金
北京市教委科技发展计划项目(KM200610028016)
关键词
弱互模拟
弱不变量
抽象
迁移系统的限制乘积
weak bisimulation
weak invariant
abstractions restrict product of transition system
