1!--#inclu8e virtual="/murus/head.shtml" --> MurUs

is a collection of reusable software components in the language Go),
originally (while teaching at the Institut für informatik of the Freie Universität Berlin)
written in Modula-2 and Java and later ported to Go and further developed.

) Really cool, since the design of the Go authors—combining static type checking at compile time
with dynamic typing at run time—discovers lots of errors in reasoning.

Currently I am working on the implementation of distributed algorithms
(as basis for the new chapters in the 3rd edition of my » book). Many of them
show the power of the “far monitor”-concept (see » The Power of Far Monitors).

Christian Maurer
send email Last modified:
September 19 2017