Algebraic Theory of Processes
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 inPaperback
Out of Print ISBN: 9780262580939 pp. | 7 in x 9 inEndorsements
-
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
