Email Record: A graph model for deadlock prevention /