Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems