9 4 in this paper we describe a general theoretical framework for the study of deadlock free routing functions