Communication and Concurrency (Prentice Hall International Series in Computer Science) (Textbook Binding)

by Robin Milner (Author)

Editorial Reviews

Product Description
Communication and Concurrency develops a general calculus of concurrent programming from first principles. The book provides an understanding of concurrency through a very small number of primitive ideas and illustrates how these ideas apply to hardware and software, to specification and implementation. The material is organised to form the basis of a practical course.

From the Back Cover
This book is a valuable review of the description and verification of concurrent systems. As one of the leading theoretical computer scientists in Britain, Robin Miller has produced an excellent book containing a well- judged mixture of theory and practical applications. Includes information on Modelling Communication, Equational Laws and Their Applications, Strong Bisimulation and Strong Equivalence, and more. This book forms a solid base for academic courses and a valuable reference for practitioners.

Product Details

• Textbook Binding: 272 pages
• Publisher: Prentice Hall PTR; 1 edition (September 6, 1995)
• Language: English
• ISBN-10: 0131150073
• ISBN-13: 978-0131150072
• Product Dimensions: 8.4 x 5.4 x 0.6 inches
• Shipping Weight: 12.6 ounces
• Average Customer Review: 4.0 out of 5 stars See all reviews (5 customer reviews)
• Amazon.com Sales Rank: #2,373,911 in Books (See Bestsellers in Books)

Customer Reviews

Most Helpful Customer Reviews

3 of 4 people found the following review helpful:

4.0 out of 5 stars Excellent but challenging, July 12, 1999

By	[e-mail] (Redmond, Washington, USA) - See all my reviews

Milner presents a set of useful, complex theories concisely. I agree with the reader above in that this isn't bed time reading. However, the rewards are worth the effort. An audience interested in computabilty, semantics, parallel systems and modelling will find that this book presents new tools and ideas in those subjects. Not for the faint of heart, hence only 4 stars.

2 of 4 people found the following review helpful:

5.0 out of 5 stars an excellent introduction to process algebra, October 6, 1999

By A Customer

Process algebra in general is not for the faint of heart. It is therefore no surprise that this book is at times difficult. However, for those interested in the formal analysis of concurrent systems, this is a very good introduction to the algebraic view.

0 of 1 people found the following review helpful:

5.0 out of 5 stars Beautiful, December 9, 2006

By	Arturo DiGenero - See all my reviews

Robin Milner doesn't need my recommendation, I'm sure, but I want to respond to reviewers who make ridiculous comments like "not for the faint of heart." This book is simply beautifully written, and could not be more clear. Moreover, Milner's intellectual honesty and humility comes through on every page; he never resorts to hand-waving, or obscurantism, or leaving important but tricky steps to the reader "as an exercise".