Based on the course taught by Bill Roscoe in Trinity Term 2021, and the course textbook.
CSP is a process algebra to specify and understand concurrent systems.
- Sequential process in CSP
- CSP algebra laws
- Traces model
- Operational LTS semantics
- Parallel operators
- Hiding and renaming
Resources
Course textbook: A. W. Roscoe, Understanding Concurrent Systems, Chapters 1–8, Springer 2010.
References to the text are enclosed in brackets [\(\cdot\)] and refer to the section number.