We define a transitional system for deterministic process, and show the soundness and completeness of process simulation.

  • 我们给出了确定性进程的转换规则,并证明了确定性进程单向模拟的正确性与完备性。

  • 互联网摘选 2025-01-20 17:26:52

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句