Freek Verbeek, Julien Schmaltz. A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free. In Yiannis Cotronis, Marco Danelutto, George Angelos Papadopoulos, editors, Proceedings of the 19th International Euromicro Conference on Parallel, Distributed and Network-based Processing, PDP 2011, Ayia Napa, Cyprus, 9-11 February 2011. pages 3-10, IEEE Computer Society, 2011. [doi]
Abstract is missing.