Subactive techniques for guaranteeing routing and protocol deadlock freedom in interconnection networks