the article mentions a python implementation of CSP which is here http://code.google.com/p/pycsp/ http://code.google.com/p/pycsp/ Invented by the same guy tha

the article mentions a python implementation of CSP which is here http://code.google.com/p/pycsp/ http://code.google.com/p/pycsp/ Invented by the same guy that brought us quicksort, CSP is actually a really nice framework for describing interacting processes. It's used a lot in formal proofs of correctness of programs, so it's nice to see real-world implementation with such clear syntax. (Of course, Go uses the same formalism, as opposed to Actors that are used by Erlang/Scala/etc.)