Coordination Problems in Multiprocessing Systems, 1979

Gerard J. Holzmann, PhD Thesis, Delft University of Technology, June 14, 1979.
(Page scan of Preface p vii, Table of Contents p ix, and Appendix D, pp. 218-236.)