Roscoe, A.W.
Understanding Concurrent Systems
- ISBN 13:
- 9781848822573
- author:
- Roscoe, A.W.
- format:
- HardBack
- publisher:
- Springer
- language:
- English
- Publication Year:
- 2010
- Pages:
- 533
- Dimensions:
- 23.6 x 16 x 3.6 cm
- Genre:
- COMPUTERS / Logic Design
- Condition:
- New
- Availability:
- Item usually sent within 4 working days
Description
Understanding Concurrent Systems by A.W. Roscoe provides a comprehensive introduction to concurrency theory and its application in programming languages. CSP notation is used to model and explain various views of concurrency, making it an invaluable reference for those wanting to use or learn about CSP. The book assumes no theoretical background beyond basic knowledge of sets and sequences, avoiding complex mathematical arguments whenever possible. It is fully integrated with CSP-based tools such as FDR, allowing readers to create new tools based on this foundation. This text serves as a first point of reference for anyone looking to explore CSP or its applications in programming. Suitable for those interested in computer science and programming languages, Understanding Concurrent Systems offers a thorough understanding of concurrency theory and its practical applications.
Related Products
Related Products
Understanding Control Flow: Concurrent Programming Using c++
Buhr, Peter A.
Understanding Living Systems (Understanding Life)
Noble, Raymond
Concurrency in Go
Coxbuday, Katherine
Grokking Concurrency
Bobrov, Kirill
Advanced Concurrency in Java
Kumar, Ajay