label operational semantics
...自由出 现变为约束出现；为防止改名失败，可简单地使用新鲜名字来改名， PI 演算的标签操作语义（Label Operational Semantics）： 设为前缀 x(y),x或之一，用 Q P 表示当发生，进程 P 演变为进程 Q， 演算要求满足下列（推理）规则：...
基于12个网页-相关网页
label operational semantics
标签操作语义
以上为机器翻译结果，长、整句建议使用 人工翻译 。