Computer Mathematics, Mathematical Programming & Operations Research, General Software Engineering, Machine Theory
Log in to track your reading progress.
Overview
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.Book Details
Published
September 6, 1995
Publisher
Prentice Hall Professional Technical Reference
Pages
272
Format
Paperback
ISBN
9780131150072