A novel deadlock free and starvation free packet switching communication processor

This publication has 10 references indexed in Scilit:

• The torus routing chip
  Distributed Computing, 1986
• A simple livelock-free algorithm for packet switching
  Science of Computer Programming, 1984
• Using Barrier Graphs for Deadlock Prevention in Communication Networks
  IEEE Transactions on Communications, 1984
• A DAG-Based Algorithm for Prevention of Store-and-Forward Deadlock in Packet Networks
  IEEE Transactions on Computers, 1981
• Deadlock-Free Packet Switching Networks
  SIAM Journal on Computing, 1981
• Prevention of Deadlocks in Packet-Switched Data Transport Systems
  IEEE Transactions on Communications, 1981
• Deadlock Avoidance in Store-and-Forward Networks--I: Store-and-Forward Deadlock
  IEEE Transactions on Communications, 1980
• Deadlock Avoidance in Store-and-Forward Networks--II: Other Deadlock Types
  IEEE Transactions on Communications, 1980
• Deadlock- and livelock-free packet switching networks
  Published by Association for Computing Machinery (ACM) ,1980
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975