11 katoen j - p , langerak r , latella d , brinksma e . on specifying real - time systems in a causality - based setting . lecture notes in computer science 1135 , 1996 , pp . 385 - 405 . 12 fecher h , majster - cederbaum m , wu j . refinement of actions in a real - time process algebra with a true concurrency model 在系统模型的结构表示上,本文扩充了传统的事件结构,使用一种带时间信息的捆绑式事件结构来模拟系统行为,在系统模型的语言刻画上,本文采用的是带时间的类lotos进程代数描述语言,对于动作精化,我们同样采用算子的观点,将动作精化定义为一个操作算子。