Semantic equivalences between processes are commonly used to specifc or im-plement. Traditionally, equivalence relation could be defned in a testing way, a modelindependent way or an operating characterization way. In testing equivalences, diver-genceisanannoyingproblemtobesolved, sincetestmaybeindivergenceandnothavethecorrectresult. Thispaperfocusesonvariantkindsofdivergence, anddefnesequiv-alences which consider divergence and have descriptions in operating characterizationway. These formalizations are based on the framework of CCS. The new defned e-quivalences form an algebra structure with good property. This paper also had a try onextension of test equivalence in logic, and obtained some positive and negative results. |