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.
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.
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.
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.
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).
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.
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).