Category:Programming language:CSP

From LiteratePrograms

Jump to: navigation, search

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.

Articles in category "Programming language:CSP"

There is 1 article in this category.