3.4.1 Syntax A timed CSP term P may be defined by a vector of mutually recursive equations P 3 ( X ; = Pilj iel with an initial index j to indicate the ...
確定! 回上一頁