I think the notion of operation serializability is important in this context. From what I understand, in the broadest possible strokes, "concurrency" means "it

I think the notion of operation serializability is important in this context. From what I understand, in the broadest possible strokes, "concurrency" means "it doesn't matter in what order the sequence of operations happens and how their execution is reshuffled as long as the dependency invariants are maintained".