wait for state1a, state1b state1c in any order

Conway worked out some results for non-serialised (commutative) events in Regular Algebra and Finite Machines about half a century ago.