Write the set of rules of protocol Dead Check implementing the simple check strategy for personal and for collective deadlock detection in the single resource model. Implement and throughly test your protocol. Compare the experimental results with the theoretical bounds.