Deadlock Specifications