Those familiar with functional-languages such as Haskell will notice several omissions in CSPM.
Floating point numbers are a natural part of the timed and probabilistic variants of CSP, and the machine-readable dialect has a syntax to support them. However, as the current generation of tools have concentrated on the simpler variants of the notation, the underlying semantics have not been implemented.
Real programming languages have string and character types, along with an input/output system. CSPM is not a programming language: input and output introduce unnecessary complications when performing analysis of scripts.
Characters and strings could be useful for modelling some problem domains, but no compelling example has yet to be demonstrated. Integers and sequences provide workable alternatives.
Operator sections and functional composition are a convenient shorthand allowing the terse expression of some powerful constructs. This terseness conflicts with the need for CSP process descriptions to be readable, often by new users of the language. For now, it is felt that their utility is outweighed by their unreadability.
Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.