Reference Papers (more to be added .....)

• W.J. Bolosky, R. P. Draves, R.P. Fitzgerald, C.W. Fraser, M.B. Jones, T.B. Knoblock and Rick Rashid, Operating Systems Directions for the next Millenium.
• R. C. Holt, Some Deadlock Properties of Computer Systems, ACM Computing Surveys, (4), 3, 1972, pp. 179-196.
• C. A. R. Hoare, Communicating Sequential Processes, CACM, (21), 8, 1978, pp. 666-677.
• 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.
• 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.
• Satyanarayanan, M., Kistler, J.J., Kumar, P., Okasaki, M.E., Siegel, E.H., Steere, D.C., Coda: A Highly Available File System for a Distributed Workstation Environment . A student has also made this available locally given the rather large size of this paper.
• K. Petersen, M. J. Spreitzer, D. B. Terry, M. M. Theimer, and A. J. Demers, Flexible Update Propagation for Weakly Consistent Replication
• E. Mascarenhas and V. Rego, Ariadne: Architecture of a Portable Threads System Supporting Mobile Processes