"Simple Concurrent Object-Oriented Programming" [1] is an Eiffel-oriented [DbC]-based ETH-Zurich research project. There's no particular connection to Tcl, from all I can tell; I just think it'd be interesting to adapt this to our favorite language.

[Notice how Tcl-friendlier Erlang gets at much the same result from the other side.]

---