I think you're missing the forest for the trees here. The point of the article is not the specific semantics of ATMs, but rather the whole system of banking an

I think you're missing the forest for the trees here. The point of the article is not the specific semantics of ATMs, but rather the whole system of banking and how it accounts for CAP theorem.