Distributed Computation of a Spanning Tree With Local Detection of Termination, Each Process is Identified by a Unique Name
Start Over