ICS214BNotes 0514 Validation rules for T j : Globally: VAL = {}; (1) When T j starts phase 1: ignore(T j )  FIN (2) at T j Validation: if check (T j ) then [ VAL  VAL U {T j }; do write phase; FIN  FIN U {T j } ]
{}