From 980738a3b7bd7898ddd310d5cd62bc056ac09d0b Mon Sep 17 00:00:00 2001 From: keleher <keleher@cs.umd.edu> Date: Tue, 3 Dec 2019 18:27:31 -0500 Subject: [PATCH] auto --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 9f74a50..3b1eb70 100644 --- a/README.md +++ b/README.md @@ -129,7 +129,9 @@ two things: ### Strict Serializability One example. Time is going downwards. Note that transaction *1* of client *1* is different -from transaction *1* of client *2*. You can type these in interactively. +from transaction *1* of client *2*. You can type these in interactively. Note that the +commands could be written by different instantiations of `transactionalClient.go`, but +equivalently can by written just by a single client. Single-client is what I will use. ``` 1,1,w,A,0 1,1,w,B,0 -- GitLab