Distributed Operating Systems, by Tanenbaum, 1995.
Distributed Operating Systems: The Logical Design, by Goscinski, 1991.
IEEE Transactions on Computers.
Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), February, 1999.
Eighth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VII), October, 1998.
Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), October, 1996.
Seventh International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VII), October, 1996.
Weblists of OS projects: (UofAriz student) Patrick Bridges' list of OS projects is very extensive.
(UCBerkeley student) Steve Gribble's list of papers (with summaries) is also helpful.