不确定性、非发散进程的单向模拟

本文主要讨论不确定性、非发散进程的单向模拟。与Ｒ．Ｍｉｌｎｅｒ的双向模拟不同的是，本文定义的模拟是单向的。我们给出了不确定性、非发散进程的转换规则，阐述了该类进程的失败（ｆａｉｌｕｒｅ）语义，讨论了单向模拟的组合定律，证明了单向模拟的正确性，并论证了进程单向模拟的完备性是不存在的。文章最后讨论实现与规格说明间的单向模拟问题

Nondeterministic and Nondivergent Process Simulation

In this paper we deal with the problem of nondeterministic and nondivergent process simulation.The simulation defined in this paper is unidirectional,compared with Milner's Bisimulation.We define a transitional system for nondeterministic and nondivergent process simulation,and discuss the failure semantics model.We also consider the combinational laws of simulation,and show the soundness of process simulation.The completeness problem of process simulation is also discussed.Finally,we also discuss the simulation problem of implementation and specification.