A distributed algorithm for computing and updating the process number of a forest