[arielb1]

Pick a reference frame. Sample the state of each CPU on its clock edge. Now you have a sequence of transitions.

The sequence is heavily non-deterministic, but that's life in a concurrent universe.

[Const-me]

A non-deterministic sequence ain’t a sequence.

The thing is called “partially ordered set”: https://en.wikipedia.org/wiki/Partially_ordered_set

[argv_empty]

I'm not sure it's useful to try to discuss concurrency with someone who refuses to believe that a group of machines can be in a state (which is really the point of the article).