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.

[For Part A see Zbl 0712.68054.]
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


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


Zbl 0712.68054