auto

README.md

@@ -123,22 +123,24 @@ store and committed transactions.
 
 
 ### Strict Serializability
+One example. Time is going downwards. Note that transaction *1* of client *1* is different from transaction *1* of client *2*.
 
           R1            R2
         1,1,r,A
         1,1,w,B,nice
                             2,1,r,A
                             2,1,w,C,foo
-                            2,2,r,A
+                            2,2,w,A
                             2,2,r,B
                             2,2,commit
                             2,1,commit
-          
+        1,1,commit
         
 Your client should print:
 ```
-	trans 2.2 abort
-	trans 2.1 commit
+	trans 2.2 commit
+	trans 2.1 abort
+	trans 1.1 abort
 ```