|
Models of concurrency, specifications of distributed systems, consistent global states, fault tolerance and related problems, interprocess communication, distributed file systems, replication mechanisms, distributed operating systems, real-time distributed systems, transputers, and case studies of distributed systems. |