0:T0
write [10] ← 1
state
10
↦
1
9
↦
0
20
↦
0
1:T1
write [20] ← 1
state
10
↦
1
9
↦
0
20
↦
1
2:T1
write [9] ← 2
state
10
↦
1
9
↦
0
20
↦
1
2:T0
write [9] ← 1
state
10
↦
1
9
↦
0
20
↦
1
Parallel aborts at Step 2. Reason: T0, T1 write to: {9}.
Parallel
9↦1
Sequential
9↦2