Robin Milner, University of Edinburgh, Scotland, UK

Published September, 1995 by Prentice Hall PTR (ECS Professional)

Copyright 1994, 272 pp.
Paper
ISBN 0-13-115007-3
$40.00

Sign up for future
mailings on this subject.

See other books about:
    Parallel/Concurrent Programming

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. forms a solid base for academic courses and a valuable reference for practitioners.