A formal analysis of a dynamic distributed spanning tree algorithm

Arjan J. Mooij and Wieger Wesselink
Tech. report, Technische Univ. Eindhoven, Fac. Wiskunde en Informatica, Dec 2003
http://www.win.tue.nl/oas/iqps/pub/MW2003.pdf

Cites:

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!