We use a function p: X → (R-0||{t}) to represent the latest reset time of each clock variable a e X. Intuitively, p(a) = T e Rso means the latest reset of ...
確定! 回上一頁