Understanding Concurrent Systems by Aw Roscoe
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. 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.-
Java in Two Semesters
-
The Algorithm Design Manual
-
Guide to Discrete Mathematics
-
The Discrete Math Workbook
-
Computer Vision
-
The Data Science Design Manual
-
Programming Language Design and Implementation
-
Guide to AI for Cybersecurity
-
Guide to Graph Algorithms
-
Theory of Computation
-
Introduction to Databases
-
Mathematical Foundations of Software Engineering
-
Introduction to Assembly Language Programming
-
Computability and Complexity Theory
-
Software Reliability Methods
-
Modal and Temporal Properties of Processes
-
Deduction Systems
-
Formal Languages and Compilation
-
Verification of Sequential and Concurrent Programs
-
Exploring Computational Geometry
-
Guide to Numerical Algorithm Design and Development
-
Fundamentals of the New Artificial Intelligence
-
Foundational Java
-
Guide to Graph Colouring
-
Guide to Industrial Analytics
-
Computational Intelligence
-
Guide to Intelligent Data Science
-
Programming in Two Semesters
-
Fundamentals of Computer Organization and Design
-
Algorithms on Trees and Graphs
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)| SKU | Unavailable |
| ISBN 13 | 9781447126003 |
| ISBN 10 | 1447126009 |
| Title | Understanding Concurrent Systems |
| Author | Aw Roscoe |
| Series | Texts In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer London Ltd |
| Year published | 2012-12-03 |
| Number of pages | 530 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |