Distributed Implementation of Nested Communicating Sequential Processes and Termination