Distributed Programming With Dijkstra's Token Based Self-stabilizationgithub.com/hpc1 pointfintler15 years ago