Symposium on Reliable Distributed Systems (13th 1994 Dana Point, Calif.)