[计]?操作语义学

操作语义学(Operational semantics)——通过语言实现方式定义语言语义，就语言成分所应计算机操作作语言成分语义。

?运算语义

... operational reliability 工咨靠性 operational semantics 运算语义 operational sequence 操壮序 ...

?语义学

...。最后两篇讨论CSP的非确定性语义,这种语义考虑了CSP的各种允许的非确定行为。CSP的非确定性语义是用操作语义学(Operational Semantics)和公理化语义学同时给出的。标题为“通信进程的非确定性语义学(上)”及“(下)”。