Description
Book SynopsisCSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these.
Trade ReviewFrom the reviews:
“This book is divided into four parts … . Part I is designed for an audience of both undergraduate and graduate computer science students. … Part II is designed for people who are familiar with Part I and have fairly theoretical interests. … Part III is intended for people who … want to be able to use them in a better way, or who are specifically interested in timed systems. Part IV is designed for people who already understand CSP.” (Günther Bauer, Zentralblatt MATH, Vol. 1211, 2011)
Table of ContentsPart I: A Foundation Course in CSP Building a Simple Sequential Process Understanding CSP Parallel Operators CSP Case Studies Hiding and Renaming Beyond Traces Further Operators Using FDR Part II: Theory Operational Semantics Denotational Semantics and Behavioural Models Finite Observation Models Infinite-behaviour Models The Algebra of CSP Part III: Using CSP Timed Systems 1: tock-CSP Timed Systems 2: Discrete Timed CSP More About FDR State Explosion and Parameterised Verification Part IV: Exploring Concurrency Shared-variable Programs Understanding Shared-variable Concurrency Priority and Mobility
