achieving this. The system remains free of deadlock in spite of random message generation at
each of the nodes. The system has been modelled using the technique described in [4]. … We
propose here an identical configuratio,t of two processes in each node of a loop connected
architecture. The communication system consists of a receiver (R). and a sender iS}, A third …