1) strong bisimulation
强互模拟等价
1.
Simulation relation on interactive Markov chains(IMCs) of algebraic model for stochastic process was studied,and by using the fixed-point theory and weight function definition,the discrimination algorithms for strong bisimulation equivalence and strong simulation preorder on stochastic process algebraic IMCs were given and the temporal complexity of the given algorithms was analyzed,also.
对随机进程代数模型交互式马尔科夫链(IMCs)上的模拟关系进行研究,根据不动点定理和权函数的定义,给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法,对算法的时间复杂度进行分析。
2) Bisimulation Equivalence
互模拟等价
3) weak bisimulation equivalence
弱互模拟等价
4) strong bisimilarity
强互模拟
5) Simulation Equivalence
模拟等价
6) simulation of strong interaction
强相互作用模拟
补充资料：椐椐强强
1.相随貌。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条