A. W. Roscoe, Routing messages through networks : an exercise in deadlock avoidance, Proceedings of OPPT, 1987.

I. Unité-de-recherche, V. Lorraine, and I. Le-`-sle-`-le-`-s-nancy-unité-de-recherche, Technôpole de Nancy-Brabois, Campus scientifique, 615 rue de Jardin Botanique, pp.38031-38032

I. Unité-de-recherche and . Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004.