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

Loren Schwiebert, D. N. Jayasimha. A Universal Proof Technique for Deadlock-Free Routing in Interconnection Networks. In SPAA. pages 175-184, 1995. [doi]

Abstract

Abstract is missing.