Algebraic theory of processes. (English) Zbl 0744.68047

Hennessy, Matthew

MIT Press Series in the Foundations of Computing. Cambridge, MA etc.: MIT Press. IX, 272 p. (1988).

This book is the result of a course given at Aarhus University in the Spring term of 1985. It presents a semantic theory of communicating processes and a logical proof system for reasoning about them. The approach relies heavily on abstract algebra but the book starts more or less from first principles. It is designed to be self-constrained; the problems addressed are motivated from the standpoint of computer science, and all the required algebraic concepts are covered, assuming only some basic mathematics.

Reviewer: Preface

MSC:

68Q10	Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68-02	Research exposition (monographs, survey articles) pertaining to computer science
68Q60	Specification and verification (program logics, model checking, etc.)

Keywords:

finite processes; testing processes; nondeterminism; recursive processes; continuous algebras; communicating processes