A formal analysis of a dynamic distributed spanning tree algorithm
A formal analysis of a dynamic distributed spanning tree algorithm / by Arjan J. Mooij and Wieger Wesselink