单向模拟相关论文
本文主要讨论不确定性、非发散进程的单向模拟。与R.Milner的双向模拟不同的是,本文定义的模拟是单向的。我们给出了不确定性、非发散进程的......
本文主要讨论了确定性进程单向模拟,与R.Milner的双向模拟相比,本文定义的模拟是单方向的。我们给出了确定性进程的转换规则,并证......