A Decision Procedure for Deadlock-Free Routing in Wormhole Networks

Freek Verbeek*, Julien Schmaltz

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)1935-1944
Number of pages10
JournalIeee Transactions on Parallel and Distributed Systems
Volume25
Issue number8
DOIs
Publication statusPublished - Aug 2014

Keywords

  • Communication networks
  • deadlocks
  • routing protocols
  • automatic verification
  • formal methods
  • SUFFICIENT CONDITION
  • TURN MODEL
  • RECONFIGURATION
  • CHIP

Cite this