Operational Semantics Modelling Semantic Action Refinement for Processes with Interrupt

• 具有中断算子进程的语义动作精化的操作语义