##
**Formal models and semantics. Handbook of theoretical computer science. Vol. B.**
*(English)*
Zbl 0714.68001

Amsterdam etc.: Elsevier. XIV, 1273 p. Dfl. 325.00 (1990).

**
Show indexed articles as search result.
**

This book consists of 19 chapters, most of which are about 50 pages long. The chapter titles and their authors are as follows:

1. Finite Automata, D. Perrin; 2. Context-Free Languages, J. Berstel and L. Boasson; 3. Formal Languages and Power Series, A. Salomaa; 4. Automata on Infinite Objects, W. Thomas; 5. Graph Rewriting: An Algebraic and Logic Approach, by B. Courcelle; 6. Rewrite Systems, N. Dershowitz and J.-P. Jouannaud; 7. Functional Programming and Lambda Calculus, H. P. Barendregt; 8. Type Systems for Programming Languages, J. C. Mitchell; 9. Recursive Applicative Program Schemes, B. Courcelle; 10. Logic Programming, K. R. Apt; 11. Denotational Semantics, P. D. Mosses; 12. Semantic Domains, C. A. Gunter and D. Scott; 13. Algebraic Specification, M. Wirsing; 14. Logics of Programs, D. Kozen and J. Tiuryn; 15. Methods and Logics for Proving Programs, P. Cousot; 16. Temporal and Modal Logic, E. A. Emerson; 17. Elements of Relational Database Theory, P. C. Kanellakis; 18. Distributed Computing, L. Lamport and N. Lynch; 19. Operational and Algebraic Semantics of Concurrent Processes, R. Milner.

I confess that I have not read all of the articles. Of those I did read, most are excellent, and the others are quite good. Each article can serve several purposes: as a survey for the expert, as an indication to a novice of the significant results in the area, and as mini text books. In fact, a good way for a graduate student to achieve an understanding of the interconnections among several related areas is to study two or three articles here. The articles do, in general, require study. There is a useful subject index, showing, for example, that the terms “algebras”, “continuous”, and “Pressburger arithmetic” occur in several articles and in several areas of computer science.

There are several unimportant misprints, but these are few and far between. The editor, Jan van Leeuwen, deserves high praise for a job well done.

Reviewer: S.Bloom

### MSC:

68-00 | General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science |

68Q55 | Semantics in the theory of computing |

68Q65 | Abstract data types; algebraic specification |

68Q45 | Formal languages and automata |

68Q42 | Grammars and rewriting systems |

68Q60 | Specification and verification (program logics, model checking, etc.) |