A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks.

Freek Verbeek, Julien Schmaltz

Browse the full ITP paper archive.