This is a tutorial on Communicating Sequential Processes (CSP): a language for modelling patterns of behaviour. It explores the design of the language, and shows how it may be used to construct descriptions of behavioural properties and distributed systems. It explains also how the use of the language may be supported by verification tools.
KeywordsSequence Diagram Sequential Composition Parallel Composition Process Description Parallel Combination
Unable to display preview. Download preview PDF.