Running parellel sequences

In reply to chris_le:

can we implemwnt semaphores method to avoid contradiction ??