It's basically a concurrent logic prob. These can be v. difficult to prevent lots of probs. It has to be really analyzed & logically proven to be safe, even then should be simulated.