Weak Invariant for Coalgebras
Cao Xue-lei · Zhongyang Minzu Daxue xuebao · 2007
Invariant for coalgebras is very important in theoretical computer science.In this paper,we define the concept of the weak invariant,and discuss some properties about the weak invariant and the relationship with the invariant.At the same time,the definition of weak invariant for labeled transition systems is given.And it is proved that the two definitions are equivalent.