On deadlock detection in systems of communicating finite state machines

Abstract

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