- Reasoning About Knowledge
by Fagin, Halpern, Moses, and Vardi, MIT Press, 1995
This is a well written book, mostly about the role of formal
reasoning about knowledge in distributed systems.
by Sape Mullender (Editor),
Addison Wesley Publising, ACM Press Frontier Series,
This is an excellent collection of articles that cover
a wide range of topics.
- Concurrency Control and Recovery in Database Systems
by Bernstein, Hadzilacos, and Goodman,
Addison Wesley Publishing, 1987.
Back to course homepage