Distributed Computation of a Spanning Tree Without Local Detection of Termination, Each Process is Identified by a Unique Name
Description:
This algorithm is the same as the previous algorithm.
Description
Proof
Snapshots