... S1r f2r−→··· f k r−→ Skr. The causal history of a reachable state Skr, denoted by H(Skr), is the set of updates (for state-based objects) or update ...
確定! 回上一頁