goltz 中文意思是什麼
goltz
解釋
戈爾茨-
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同余性。
分享友人