A Theory for Deadlock-Free Dynamic Network Reconfiguration