{"product_id":"9781848822573-understanding-concurrent-systems","title":"Understanding Concurrent Systems","description":"\u003cmeta content=\"text\/html; charset=utf-8\" http-equiv=\"Content-Type\"\u003e\u003cp\u003e\u003cspan\u003eCSP 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.\u003cbr\u003eSince the introduction of Hoares' Communicating Sequential Processes notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book presents the fundamental knowledge of CSP concepts readers require to take advantage of those tools. This text benefits from the author's ten years of teaching experience to guide the reader through an introductory course on the theory and practice of concurrency. The book is divided into three parts; the first begins with an introductory course into the theories behind computer concurrency. The second part summarises the main ideas and results featuring chapters on advanced specification techniques, buffer tolerance, induction and data independence. The final part focuses on practice, containing chapters on the bully algorithms and deadlock. Bridging the gap between theory and practice, this logical and practical guide provides readers with in-depth examples explained, and shown in practice.\u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003c\/p\u003e","brand":"Rarewaves","offers":[{"title":"Default Title","offer_id":56700098609526,"sku":"9781848822573","price":53.09,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0092\/7504\/8033\/files\/orig_28334965.jpg?v=1763625506","url":"https:\/\/www.rarewaves.com\/products\/9781848822573-understanding-concurrent-systems","provider":"Rarewaves.com","version":"1.0","type":"link"}