That was interesting. I took a vision class a few years ago that clearly illustrates these ideas. Bringing vision theory into CS boils down to converting continuous space into discrete space. This led to a great quote from the prof "CS people are engineering who think discretely". I think this article reflects this mentality. Being "good" at CS involves making a consistent state model where events always follow other events. This is yet another reason why concurrency seems to be difficult to grasp even for good CS students. Because of possible thread interleaving the typical state space explodes and we have to think about that kind of code in a different way.