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.
| |||||||||||||||
Book Description
Editorial Reviews
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
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
4 of 5 people found the following review helpful:
4.0 out of 5 stars
Excellent but challenging,
By hughleat@microsoft.com (Redmond, Washington, USA) - See all my reviews
This review is from: Communication and Concurrency (Prentice Hall International Series in Computer Science) (Textbook Binding)
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.
3 of 4 people found the following review helpful:
5.0 out of 5 stars
an excellent introduction to process algebra,
By A Customer
This review is from: Communication and Concurrency (Prentice Hall International Series in Computer Science) (Textbook Binding)
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.
1 of 2 people found the following review helpful:
5.0 out of 5 stars
Beautiful,
This review is from: Communication and Concurrency (Prentice Hall International Series in Computer Science) (Textbook Binding)
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".
Share your thoughts with other customers: Create your own review
|
|
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product).
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
|
|
