Hennessy, M.C.: Algebraic Theory of Processes. ... Thus we have ∀i∈ M,g • g · s+i ⊆ gjkk ⇒ g · gi ⊆ gjkk and gmk ⊆ gnk for 0 ≤ m ≤ n ≤ jk.
確定! 回上一頁