Symposium on Reliable Distributed Systems (12th 1993 Princeton, N.J.)