Checking for mutually exclusive processes