强互模拟等价相关论文
对随机进程代数模型交互式马尔科夫链（IMCs）上的模拟关系进行研究，根据不动点定理和权函数的定义，给出交互式马尔可夫链模型上强互模拟......
该文建立了π-网的强互模拟等价关系,对π-网的结构作了进一步的研究.π-网是一类新型的基于π-演算语义的模块化高级Petri网,是对......
