Distributed systems

Table of Contents: “…Schroeder -- What good are models and what models are good? / Fred B. Schneider -- Specifications of concurrent and distributed systems / William E. …”