Understanding Concurrent Systems - Roscoe, A. W.

CSP 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. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets its ... Read More

Understanding Concurrent Systems 2012, Springer London Ltd, England

ISBN-13: 9781447126003

Trade paperback

Understanding Concurrent Systems 2010, Springer

ISBN-13: 9781848822573