Chapter 1. An introduction to CSP
CSP (Communicating Sequential Processes) is a notation for describing systems of parallel agents that communicate by passing messages between them. In this book we will be seeing it mainly as a descriptive language: a natural way of writing down the type of systems we study. However, it is also an excellent vehicle for studying the theoretical problems that arise from concurrency (the study of parallel and interacting systems), which means that it provides just about all the machinery required for the formal study of systems described in it. We will get glimpses of this mathematical side of CSP every now and again when we formalize security properties.
This chapter gives a basic introduction to CSP, and should ...
Get The Modelling and Analysis of Security Protocols: the CSP Approach now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
