Based on analyzing the structure of syntax and the reduction system of semantics in seal-calculus and boxed ambient calculus we present a few equivalence relation: communica-( tion's) equivalence, communication primitive's equivalence and the equivalence of code movement.

  • 本文在系统分析Seal演算与Boxed Ambient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价。

  • 互联网摘选 2025-01-20 12:47:52

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