关键词: 弱互模拟 弱不变量 抽象 迁移系统的限制乘积

Abstract:

On the basis of references[1,2], the paper gives the definition of weak invariant, and discusses its characteristics and the relations between invaria nt and weak invarlant. Besides, we introduce the concept of restrict product of transition systems, and take this as a means to study the mutual transit ion between weak bisimulation and weak invariants.

Key words: （weak bisimulation, weak invariant, abstractions restrict product of transition system）