On deadlock detection in systems of communicating finite state machines
Mohamed G. Gouda, Eitan M. Gurari, T. Lai, Louis E. Rosier · 1987
Dans le systeme de machines a etats finis considere, les communications se font exclusivement par echange de messages sur des canaux FIFO a voie unique. La complexite associee a la detection d'interblocages est etudiee