机译:紧急情况下实时并行流程的动作优化
Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041, P.R. China;
Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041, P.R. China;
Fakultat fur Mathematik und Informatik, Universitait Mannheim, D7, 27, 68131 Mannheim, Germany;
action refinement; timed event structure; real-time process algebra; urgency;