Btw., CSP in Hoare's Book is a Lisp... http://www.usingcsp.com/cspbook.pdf http://www.usingcsp.com/cspbook.pdf Page vi: > The proposed implementations are un

Btw., CSP in Hoare's Book is a Lisp... http://www.usingcsp.com/cspbook.pdf http://www.usingcsp.com/cspbook.pdf Page vi: > The proposed implementations are unusual in that they use a very simple purely functional subset of the well-known programming language LISP. This will afford additional excitement to those who have access to a LISP implementation on which to exercise and demonstrate their designs.