Considerando il protocollo TimeStamp di gestione delle transazioni in concorrenza, mi dite se ho fatto bene questo esercizio?

Sia dato un oggetto x, su cui opera un controllo della concorrenza basato su TimeStamp, con WTM(x)=4, RTM(x)=5. Dato il seguente schedule di operazioni:

w2(x)
w6(x)
r10(x)
r8(x)
r7(x)
w7(x)
w12(x)
r15(x)
r13(x)
r14(x)
w13(x)

Indicare quali operazioni sono consentite e quali abortite ed il valore finale di WTM(x) e RTM(x).

Questa la mia soluzione:

w2(x) < w4(x) NO, WTM(x)=4
w6(x) > w4(x) SI, WTM(x)=6
r10(x) > w6(x) SI, RTM(x)=10
r8(x) > w6(x) SI, RTM(x)=10
r7(x) > w6(x) SI, RTM(x)=10
w7(x) > w6(x) SI, WTM(x)=7
w12(x) > w7(x) SI, WTM(x)=12
r15(x) > w12(x) SI, RTM(x)=15
r13(x) > w12(x) SI, RTM(x)=15
r14(x) > w12(x) SI, RTM(x)=15
w13(x) > w12(x) SI, WTM(x)=13

Quindi WTM(x)=13 e RTM(x)=15 alla fine delle transazioni e l'unica transazione abortita è la prima.
Che ne dite? Grazie!