Communication and Concurrency

by ,

Communication and Concurrency - Milner-Gulland, Robin, and Milner, R

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. KEY TOPICS: " Includes information on Modelling Communication, Equational ...

Currently there are no copies available. However, our inventory changes frequently. Please check back soon or try Book Fetch.