[overdrivetg]

Well... you can still execute the OR essentially via BFS vs DFS... Spend some "cycles" or steps executing one path, then the other, then keep alternating. Eventually you will hit the termination (if it exists).

Or essentially, you can always simulate parallel algorithms on sequential hardware.

Of course you are correct if the sequential OR is executed naively :-)

...or if you force side-effect free short-circuiting within the sequential OR execution. But then it wouldn't really the same OR (as in the parallel case), now would it?