What Is Deadlock Characterization