Authors:
Presents a comprehensive and up-to-date guide to the theory and practice of concurrency
Examines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigms
Contains exercises throughout, and supplies supporting resources online
Includes supplementary material: sn.pub/extras
Part of the book series: Texts in Computer Science (TCS)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (20 chapters)
-
Front Matter
-
A Foundation Course in CSP
-
Front Matter
-
-
Using CSP in Practice
-
Front Matter
-
About this book
Reviews
From 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)Authors and Affiliations
-
Oxford University Computing Laboratory, Oxford, United Kingdom
A.W. Roscoe
Bibliographic Information
Book Title: Understanding Concurrent Systems
Authors: A.W. Roscoe
Series Title: Texts in Computer Science
DOI: https://doi.org/10.1007/978-1-84882-258-0
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London Limited 2010
Hardcover ISBN: 978-1-84882-257-3Published: 25 October 2010
Softcover ISBN: 978-1-4471-2600-3Published: 03 December 2012
eBook ISBN: 978-1-84882-258-0Published: 10 October 2010
Series ISSN: 1868-0941
Series E-ISSN: 1868-095X
Edition Number: 1
Number of Pages: XVIII, 530