action algebra 中文意思是什麼
action algebra
解釋
作用代數-
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同余性。
分享友人