Distributed Systems

Additional Reading:

  1. Reasoning About Knowledge by Fagin, Halpern, Moses, and Vardi, MIT Press, 1995

  2. This is a well written book, mostly about the role of formal reasoning about knowledge in distributed systems.

  3. Distributed Systems by Sape Mullender (Editor), Addison Wesley Publising, ACM Press Frontier Series, 2nd edition.
    This is an excellent collection of articles that cover a wide range of topics.

  4. Concurrency Control and Recovery in Database Systems by Bernstein, Hadzilacos, and Goodman, Addison Wesley Publishing, 1987.

Back to course homepage