The two kinds of CTCs of mutex and requires, which are another extension of FTT, are expressed by the binary relations ... and ⇒ (∀g.f ⇀ g → g ∈ M), 4.
確定! 回上一頁