This category contains articles describing scripts written in the machine-readable version of CSP. CSP is a process algebra intended for formal specification and verification of concurrent systems. The machine-readable version includes an embedded functional language. If you need help from other users with a program written in CSP, take a look at Category:Users:CSP:Experts, Category:Users:CSP:Knows, and possibly Category:Users:CSP:Some.hijackerhijacker
Pages in category "Programming language:CSP"
This category contains only the following page.