19 goltz u , gorrieri r , rensink a . on syntactic and semantic action refinement . lecture notes in computer science 789 , 1994 , pp . 385 - 404 . 20 aceto l , action refinement in process algebra . cambridge univ 即精化后的系统行为可以由精化前的系统行为和用于替换原系统动作的子系统的行为组合推导出来2同余性。