Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.


A.1 Expressions

At a basic level, a CSPM script defines processes, along with supporting functions and expressions. CSP draws freely on mathematics for these supporting terms, so the CSPM expression-language is rich and includes direct support for sequences, sets, booleans, tuples, user-defined types, local definitions, pattern-matching and lambda terms.

We will use the following variables to stand for expressions of various types.

m, n numbers
s, t sequences
a, A sets (the latter a set of sets)
b boolean
p, q processes
e events
c channel
x general expression

When writing out equivalences, z and z' are assumed to be fresh variables which do not introduce conflicts with the surrounding expressions.


Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.