A Universal Proof Technique for Deadlock-Free Routing in Interconnection Networks.

Loren Schwiebert, Doddaballapur Narasimha-Murthy Jayasimha

Browse the full SPAA paper archive.