To study the methods and algorithms appropriate for the construction of distributed programs.
Distributed program: definition, parallelism and communication.
Distribution issues: concurrency control, atomicity, consistency of replicated data, decision making based on partial information.
Distributed algorithms: consensus, mutual exclusion, detection and resolution of deadlock, termination detection, commit protocols.
Distributed programming paradigms: client-server, Byzantine generals, timestamps, token rings, diffusing computation, multicast.
The Regis distributed system will be used as the vehicle for description and practice.