Introduction to Deadlock