Proof Pearl: A Formal Proof of Dally and Seitz’ Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks

✍ Scribed by Freek Verbeek; Julien Schmaltz

• Book ID: 113068266
• Publisher: Springer Netherlands
• Year: 2010
• Tongue: English
• Weight: 376 KB
• Volume: 48
• Category: Article
• ISSN: 0168-7433
• DOI: 10.1007/s10817-010-9206-x