CSPMΒΆ

CSPM is a lazy functional language with built-in support for defining CSP processes. It also allows assertions to be made about the resulting CSP processes.