[an error occurred while processing this directive]
is a collection of reusable software components∗) in
Google Go (really
Dio perdona …
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 package murus/fmon).
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.
|send email||Last modified:
March 29 2017