动作精化相关硕士博士期刊学术论文

以SOS规则的方式定义了含中断和精化算子的进程代数LOTOS的操作语义，使得这一操作语义与指称语义相对应，即：由指称语义导出的传输系统......