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

4.58 avg rating
( 12 ratings by Goodreads )
 
9780131149847: Communication and Concurrency (Prentice-Hall International Series in Computer Science)

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.

"synopsis" may belong to another edition of this title.

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.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Milner, Robin
Published by Prentice Hall (1989)
ISBN 10: 0131149849 ISBN 13: 9780131149847
New Hardcover Quantity Available: 1
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1989. Hardcover. Book Condition: New. Never used!. Bookseller Inventory # P110131149849

More Information About This Seller | Ask Bookseller a Question

Buy New
205.03
Convert Currency

Add to Basket

Shipping: 1.51
Within U.S.A.
Destination, Rates & Speeds