Understanding Concurrent Systems by A.W. Roscoe
English | PDF,EPUB | 2010 | 528 Pages | ISBN : 184882257X | 11.2 MB
Communicating Sequential Processes (CSP) 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, CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style.