初始值 自由变元 不动点定理 不可满足性 最弱环境 不变性质 移位寄存器 时态语义 程序模式 非确定性 顺序进程 进程名 谓词演算 进程表达式 通信进程 传输介质 计算机学报 计算序列 分布式系统 通道名 推理方法 弱条件 通信协议 通道集 时态逻辑

中国科学院计算技术研究所