A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free.

Freek Verbeek, Julien Schmaltz

Browse the full PDP paper archive.