These define the nondeterministic aspects of the abstract machine.

由此定义了抽象机器的非确定性的方面.

互联网

This is the approach we advocate for using these nondeterministic methods.

这是我们提倡使用不确定方法的使用方法.

互联网

On the basis of this concept, the noninterference model is extended to nondeterministic systems.

提出系统动作对信息域的不干扰概念, 并在此基础上将不干扰模型推广到非确定系统.

互联网