DISTRIBUTED TERMINATION OF CONCURRENT PROCESSES IN OCCAM