Communication and Concurrency - Softcover

Milner, Robin

Softcover

ISBN 10: 0131150073 ISBN 13: 9780131150072

Publisher: Prentice Hall, 1995

Synopsis

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.

About 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 edition

• Publisher: Prentice Hall
• Publication date: 1995
• ISBN 10: 0131150073
• ISBN 13: 9780131150072
• Binding: Paperback
• Edition number: 1
• Number of pages: 272