SPOCK: Reverse Packet Traversal for Deadlock Recovery | IEEE Journals & Magazine | IEEE Xplore