is a collection of reusable software components) in Google Go (really cool, since Dio perdona … io Go no!∗∗)):

) constructed while teaching at the Department of Mathematics and Computer Science of the Freie Universit├Ąt Berlin
and now in my retirement – originally in Modula-2 by Niklaus Wirth (ancient) and Java (sucks – only foam).

Currently I am mainly working on the implementation of Distributed Algorithms (see package murus/dgra).
Done are e.g. computation of the net topology (Andrews), election of a leader in a ring (Chang-Roberts, Peterson, Dolev-Klawe-Rodeh, Hirschberg-Sinclair etc.), construction of spanning trees (by depth-first- and breadth-first-traversal using ideas of Awerbuch and Zhu-Cheung) and of directed rings. Most of the algorithms show the power of my concept far monitor — (see also The Power of Far Monitors).


∗∗) Why “no”?
Because the sophisticated design of the Go authors—combining static type checking at compile time with dynamic typing at run time—relentlessly discovers every error in reasoning.

Christian Maurer
send email Last modified:
May 24 2017
german clustrmaps