Solutions for the distributed termination problem

Considering a network of communicating finite state machines which exchange messages over Channels, we discuss the distributed termination problem in the more general context of asynchronous environment. We first whow that this problem is undecidable. Then we discuss the possibility of superimposing algorithms that detect termination. At least we examine the case of faulty processors.