T2
Begin-trans(T1 )
Read(A)
A: =A+10
Begin-trans(T3)
Read(C)
C:=C * 2
Begin-trans(T2)
Read(B)
B:=B-10
Write(B)
Commit
Write(A)
Write(C)
rollback