Deadlock in a concurrent system