From Foundations of Computing

Algebraic Theory of Processes

By Matthew Hennessy

Algebraic Theory of Processes provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in computer science.

Overview

Author(s)

Praise

Summary

Algebraic Theory of Processes provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in computer science.

(paperback not available in U.S. and Canada)

Hardcover

Out of Print ISBN: 9780262081719 pp. | 7 in x 9 in

Paperback

Out of Print ISBN: 9780262580939 pp. | 7 in x 9 in

Endorsements

  • This book is one of the early landmarks, still few in number, in the growth of a definitive theory of concurrent processes. Hennessy obtains a rich theory by marrying the observational view of processes with continuous algebra.

    Robin Milner

    University of Edinburgh, Department of Computer Science

  • A clear and scholarly account of pioneering research by the author and his colleagues into the relation between algebra and concurrency, two areas of the greatest current interest to practitioners of computing science.

    Tony Hoare

    Professor of computation, Oxford University