zbMATH — the first resource for mathematics

Algebraic theory of processes. (English) Zbl 0744.68047
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

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.)