Distributed Computing

This book aims to give a basic grounding in each of the areas covered. The dataflow approach to parallel computation, declarative languages and their evaluation, loosely-coupled distributed systems (do not share immediate memory), closely-coupled distributed systems (share common memory), and modeling and verifying concurrent systems. The individual articles included were the results of research conducted as part of the Distributed Computing Systems program of the U. K. Science and Engineering Research Council from 1977-1984. This book should be of interest to researchers and practitioners in the field, academic and industrial, and serve as an introductory text for new researchers.