7 using our definition we give a necessary and sufficient condition which characterizes deadlock free routing functions