at each program point is achieved with the help of a Hoare logic [2] component ... Multiplexer (SM): while true do c!(1,x 1); c!(2,x 2) Demultiplexer (SD) ...
確定! 回上一頁