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.
The sequence is heavily non-deterministic, but that's life in a concurrent universe.
The thing is called “partially ordered set”: https://en.wikipedia.org/wiki/Partially_ordered_set