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.
(paperback not available in U.S. and Canada)
HardcoverOut of Print ISBN: 9780262081719 pp. | 7 in x 9 in
PaperbackOut of Print ISBN: 9780262580939 pp. | 7 in x 9 in
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.
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.
Professor of computation, Oxford University