-
This page will be updated during the semester.
-
Note: Copies of the papers are available outside my office for you to
borrow, make copies, and return them for others to do the same.
-
R. C. Holt, Some Deadlock Properties of Computer Systems, ACM Computing
Surveys, (4), 3, 1972, pp. 179-196. (Required)
-
C. A. R. Hoare, Communicating Sequential Processes, CACM, (21),
8, 1978, pp. 666-677. (Optional)
-
D. Agrawal and A. El Abbadi, An Efficient and Fault-tolerant solution
for distributed mutual exclusion, ACM Transactions on Computer Systems,
9 (1), pp. 1-2, 1991. [Required.]
-
M. Naor and A. Wool, The Load, Capacity and Availability of Quorum Systems,
Proceedings of IEEE Symposium on Foundations of Computer Science, 1994.
[Section 6 is required.]
- M. Nelson, B. Welch, and J. Ousterhout,
Caching in the Sprite Network File System,
ACM Transactions on Computer Systems, (6) 1, pp. 134-154, 1988.