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.
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.
Book Description Prentice Hall PTR, 1995. Book Condition: New. Brand New, Unread Copy in Perfect Condition. A+ Customer Service!. Bookseller Inventory # ABE_book_new_0131150073
Book Description Prentice Hall PTR 1995-09-06, 1995. Textbook Binding. Book Condition: New. 1. 0131150073. Bookseller Inventory # 518410
Book Description Prentice Hall PTR, 1995. Paperback. Book Condition: New. Bookseller Inventory # P110131150073