Label Operational Semantics的意思|示意

美 / / 英 / /

标签操作语义

Label Operational Semantics的网络常见释义

演算的标签操作语义 ...自由出 现变为约束出现；为防止改名失败，可简单地使用新鲜名字来改名， PI 演算的标签操作语义（Label Operational Semantics）： 设为前缀 x(y),x或之一，用 Q P    表示当发生，进程 P 演变为进程 Q， 演算要求满足下列（推理）规则：...