1. Robert Boyer & J Strother Moore (2002): Single-Threaded Objects in ACL2. In: Shriram Krishnamurthi & C. Ramakrishnan: Practical Aspects of Declarative Languages, Lecture Notes in Computer Science 2257. Springer Berlin / Heidelberg, pp. 9–27, doi:10.1007/3-540-45587-6_3.
  2. J. Duato (1995): A necessary and sufficient condition for deadlock-free adaptive routing in wormhole networks. IEEE Transactions on Parallel and Distributed Systems 6(10), pp. 1055–1067, doi:10.1109/71.473515.
  3. Matt Kaufmann & J Strother Moore (2001): Structured Theory Development for a Mechanized Logic. Journal of Automated Reasoning 26, pp. 161–203, doi:10.1023/A:1026517200045.
  4. Sami Taktak, Emmanuelle Encrenaz & Jean-Lou Desbarbieux (2010): A polynomial Algorithm to Prove Deadlock-freeness of Wormhole Networks. In: 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP'10), doi:10.1109/PDP.2010.19.
  5. Freek Verbeek & Julien Schmaltz (2011): Automatic verification for deadlock in Networks-on-Chips with adaptive routing and wormhole switching. In: Proceedings of Networks-on-Chip Symposium (NOCS '11).
  6. Freek Verbeek & Julien Schmaltz (2011): A Comment on``A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks''. IEEE Transactions on Parallel and Distributed Systems 22(10), pp. 1775 –1776, doi:10.1109/TPDS.2011.16.
  7. Freek Verbeek & Julien Schmaltz (2011): On Necessary and Sufficient Conditions for Deadlock-Free Routing in Wormhole Networks. IEEE Transactions on Parallel and Distributed Systems 99(PrePrints).

Comments and questions to:
For website issues: