Lol, very cool :-) Congrats for your ACM Computing Survey. It’s well-deserved and must have been some hard work! We read your draft in a paper reading seminar where we try to guide students through the complexities of building distributed database systems.
If it’s not too late, I can send you some notes we made. There are some minor issues on the formal side, e.g. you define concur as symmetric binary relation same-object \ returns-before. Same-object is an equivalence relation, hence symmetric and returns-before is just a partial order, so concur cannot be symmetric. If such smaller observations are still useful for you, I’m happy to send you our annotated copy.
Keep up the good work, already looking forward to your next paper!