Issue No. 08 - August (1974 vol. 23)
F. Baskett , Stanford University
According to the authors this book treats "the most important formal methods that have been applied to the study of operating systems algorithms." The emphasis of the book is on the mathematical analysis of models of computing systems, which means that there are several important methods and concepts in the theory of operating systems that are not treated. However, the book is the first serious attempt in this area and is a valuable addition to the reference and text books in computer science.
R. Sedgewick and F. Baskett, "B74-38 Operating Systems Theory," in IEEE Transactions on Computers, vol. 23, no. , pp. 879-880, 1974.