SEDMS IV : proceedings of the USENIX Symposium on Experiences with Distributed and Multiprocessor Systems, September 22-23, 1993, San Diego, California (USENIX Association, 1993)