Communication and Concurrency
- List Price: $40.00
- Binding: Paperback
- Publisher: Prentice Hall
- Publish date: 12/01/2006
Description:
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 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.
Expand description
Please Wait