- 1. operational semantics: 操作语义学
操作语义学(Operational semantics)——通过语言实现方式定义语言语义，就语言成分所应计算机操作作语言成分语义。
dict.youdao.com - 2. operational semantics: 运算语义
... operational reliability 工咨靠性 operational semantics 运算语义 operational sequence 操壮序 ...
dict.youdao.com - 3. operational semantics: 语义学
...。最后两篇讨论CSP的非确定性语义,这种语义考虑了CSP的各种允许的非确定行为。CSP的非确定性语义是用操作语义学(Operational Semantics)和公理化语义学同时给出的。标题为“通信进程的非确定性语义学(上)”及“(下)”。
dict.youdao.com - 4. Formal Operational Semantics: 形式化操作语义
dict.youdao.com - 5. Label Operational Semantics: 演算的标签操作语义
dict.youdao.com - 6. structural operational semantics: 操作语义
dict.youdao.com - 7. A operational semantics: 操作语义
dict.youdao.com - 8. data operational semantics: 数据操作语义
dict.youdao.com - 9. the operational semantics: 操作语意
dict.youdao.com - 10. operational semantics model: 操作语义模型
dict.youdao.com
有道词典