]. K. Chandy, J. Misra, and L. M. Haas, Distributed deadlock detection, ACM Transactions on Computer Systems, vol.1, issue.2, pp.144-156, 1983.
DOI : 10.1145/357360.357365

]. K. Chandy, J. Misra, E. W. Dijkstra, and C. S. Scholten, Parallel Program Design, Inf. Processing Letters, vol.13, issue.21, pp.1-4, 1980.
DOI : 10.1007/978-1-4613-9668-0_6

]. F. Mattern, Algorithms for distributed termination detection, Distributed Computing, pp.161-175, 1987.
DOI : 10.1007/BF01782776

]. F. Schneider and L. Lamport, Paradigms for distributed programs, Springer-Verlag, pp.431-480, 1985.

I. Unité-de-recherche, V. Lorraine, and I. 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.