CSP_M¶

CSP_M 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.