Secondly,this paper introduced the concept of restrict product of transition system, and took this as implement, studied the mutually transition between weak bisimulation and weak invariant.
其次，本文还引入了迁移系统的限制乘积概念，并以此为工具，研究了弱互模拟和弱不变量之间的相互转化。
参考来源 - LTS中的弱不变量与限制乘积·2,447,543篇论文数据，部分数据来源于NoteExpress
此外，本文还引入了迁移系统的限制乘积概念，并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
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.
其次，本文还引入了迁移系统的限制乘积概念，并以此为工具，研究了弱互模拟和弱不变量之间的相互转化。
Secondly, this paper introduced the concept of restrict product of transition system, and took this as implement, studied the mutually transition between weak bisimulation and weak invariant.
应用推荐