Understanding concurrent systems [electronic resource] / A.W. Roscoe.

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...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Roscoe, A. W.
Format:	Electronic eBook
Language:	English
Published:	New York ; London : Springer, ©2010.
Series:	Texts in computer science.
Subjects:	Parallel processing (Electronic computers) Sequential processing (Computer science)