The CSPM dialect of CSP possesses a formally defined operational semantics, which includes an embedded functional programming language.
Η διάλεκτος CSPM της CSP έχει τυπικά ορισμένη λειτουργική σημασιολογία, η οποία περιλαμβάνει μια ενσωματωμένη γλώσσα συναρτησιακού προγραμματισμού.