.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Understanding Concurrent Systems
A. W. Roscoe
€ 69.46
FREE Delivery in Ireland
Description for Understanding Concurrent Systems
paperback. Since the introduction of Hoares' Communicating Sequential Process (CSP) notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book presents the basic CSP knowledge needed to utilize those tools. Series: Texts in Computer Science. Num Pages: 548 pages, biography. BIC Classification: UL; UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 760.
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. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style. An invaluable reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a comprehensive introduction to the field, in ... Read more
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. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style. An invaluable reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a comprehensive introduction to the field, in ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer United Kingdom
Number of pages
548
Condition
New
Series
Texts in Computer Science
Number of Pages
530
Place of Publication
England, United Kingdom
ISBN
9781447126003
SKU
V9781447126003
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Understanding Concurrent Systems
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 ... Read more