动作精化相关论文
本文首先建立了一种具有原因歧义性的(实时)并发系统的形式化模型—具有原因歧义性的(实时)集束事件结构,然后提出了一种对具有原......
以SOS规则的方式定义了含中断和精化算子的进程代数LOTOS的操作语义,使得这一操作语义与指称语义相对应,即:由指称语义导出的传输系统......