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.


Sequence Diagram Sequential Composition Parallel Composition Process Description Parallel Combination 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jim Davies
    • 1
  1. 1.Oxford University Computing LaboratoryOxfordUK

Personalised recommendations