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
T. Anderson, M. Dahlin, J. Neefe, D. Patterson, D. Roselli and R. Wang, Serverless Network File Systems