带紧急事件的实时并发进程的动作精化

• Action Refinement for Real-Time Concurrent Processes with Urgency