Distributed deadlock detection, ACM Transactions on Computer Systems, vol.1, issue.2, pp.144-156, 1983. ,
DOI : 10.1145/357360.357365
Parallel Program Design, Inf. Processing Letters, vol.13, issue.21, pp.1-4, 1980. ,
DOI : 10.1007/978-1-4613-9668-0_6
Algorithms for distributed termination detection, Distributed Computing, pp.161-175, 1987. ,
DOI : 10.1007/BF01782776
Paradigms for distributed programs, Springer-Verlag, pp.431-480, 1985. ,
Technôpole de Nancy-Brabois, Campus scientifique, 615 rue de Jardin Botanique, pp.38031-38032 ,
Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004. ,