Master the complexities of concurrent systems with "Understanding Concurrent Systems" by A.W. Roscoe. This comprehensive guide, based on Hoare's Communicating Sequential Processes (CSP), is an invaluable resource for understanding concurrency theory and its practical applications. Whether you're a student or a professional, this book provides a deep dive into CSP, covering operational semantics, denotational models, and practical applications with tools like FDR. Key features: * Comprehensive introduction to CSP theory and practice. * Explores advanced topics including timed modelling and state explosion. * Integrates with CSP-based tools such as FDR. * Suitable for undergraduate students, researchers, and practitioners. This first edition hardcover book is written in English and contains 530 pages, making it an essential reference for anyone interested in concurrent systems. Product Summary: Understanding Concurrent Systems, Hardcover book, A.W. Roscoe, English, First edition, 530 pages, ISBN 9781848822573, Springer London.